Handbook of logic in artificial intelligence and logic programming

Bibliografische gegevens
Hoofdauteur:	Gabbay, Dov M.
Formaat:	Boek
Taal:	English
Gepubliceerd in:	Oxford Clarendon Press 1994
Onderwerpen:	Artificial intelligence. Logic programming. Logic, Symbolic and mathematical.