Handbook of logic in artificial intelligence and logic programming

Handbook of logic in artificial intelligence and logic programming

Taispeáin gach leagan (2)
Sonraí bibleagrafaíochta
Rannpháirtithe: Gabbay, Dov M. 1945-, Hogger, Christopher John, Robinson, J.A. (John Alan)
Formáid: LEABHAR
Teanga:English
Foilsithe / Cruthaithe: Oxford Clarendon Press 1993-<1995>
Ábhair:
Logic programming.
Artificial intelligence.
Logic, Symbolic and mathematical.