Handbook of logic in artificial intelligence and logic programming

Detalles Bibliográficos
Autor principal:	Gabbay, Dov M.
Formato:	Libro
Lenguaje:	English
Publicado:	Oxford Clarendon Press 1994
Materias:	Artificial intelligence. Logic programming. Logic, Symbolic and mathematical.