Books
J. J. Alferes and L. M. Pereira,
Reasoning with Logic Programming
, volume 1111 of Lecture Notes in Artificial Intelligence. Berlin. Springer-Verlag, 1996, pp.326
José Júlio Alferes
Departamento de Informática - FCT-NOVA
Home
Publications
Books
Editions
Book chapters
In journals
In conferences
Other publications
Projects
Teaching
Software
Students
Misc. Info
Site Map