Handbook of logic in artificial intelligence and logic programming

Handbook of logic in artificial intelligence and logic programming

Show all versions (2)
Bibliografiske detaljer
Andre forfattere: Gabbay, Dov M. 1945-, Hogger, Christopher John, Robinson, J.A. (John Alan)
Format: Bog
Sprog:English
Udgivet: Oxford Clarendon Press 1993-<1995>
Fag:
Logic programming.
Artificial intelligence.
Logic, Symbolic and mathematical.