Handbook of logic in artificial intelligence and logic programming

Handbook of logic in artificial intelligence and logic programming

Alle Versionen (2)
Bibliographische Detailangaben
Weitere Verfasser: Gabbay, Dov M. 1945-, Hogger, Christopher John, Robinson, J.A. (John Alan)
Format: Buch
Sprache:English
Veröffentlicht: Oxford Clarendon Press 1993-<1995>
Schlagworte:
Logic programming.
Artificial intelligence.
Logic, Symbolic and mathematical.