Handbook of logic in artificial intelligence and logic programming

Handbook of logic in artificial intelligence and logic programming

Veure totes les versions (2)
Dades bibliogràfiques
Autor principal: Gabbay, Dov M.
Format: Llibre
Idioma:English
Publicat: Oxford Clarendon Press 1994
Matèries:
Artificial intelligence.
Logic programming.
Logic, Symbolic and mathematical.