LIBROS DEL AUTOR: peter schroeder heister

1 resultados para LIBROS DEL AUTOR: peter schroeder heister

peter schroeder heister Eliminar filtro Quitar filtros
  • Extensions of Logic Programming
    Peter Schroeder-Heister
    This volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for Natural Language Systems at the University of Tübingen in December 1989. Several recent extensions of definite Horn clause programming, especially those with a proof-theoretic background, have much in com...
    Disponible

    65,88 €