Handbook of logic in artificial intelligence and logic programming

Handbook of logic in artificial intelligence and logic programming

Показать все версии (2)
Библиографические подробности
Другие авторы: Gabbay, Dov M. 1945-, Hogger, Christopher John, Robinson, J.A. (John Alan)
Формат: ‌
Язык:English
Опубликовано: Oxford Clarendon Press 1993-<1995>
Предметы:
Logic programming.
Artificial intelligence.
Logic, Symbolic and mathematical.