LIBROS DEL AUTOR: n olivetti

2 resultados para LIBROS DEL AUTOR: n olivetti

n olivetti Eliminar filtro Quitar filtros
  • Goal-Directed Proof Theory
    Dov M. Gabbay / N. Olivetti
    Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable f...
    Disponible

    133,97 €

  • Goal-Directed Proof Theory
    Dov M. Gabbay / N. Olivetti
    Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable f...
    Disponible

    132,60 €