Handbook of logic in artificial intelligence and logic programming

Handbook of logic in artificial intelligence and logic programming

すべてのバージョン（2件）を表示する
書誌詳細
第一著者: Gabbay, Dov M.
フォーマット: 図書
言語:English
出版事項: Oxford Clarendon Press 1994
主題:
Artificial intelligence.
Logic programming.
Logic, Symbolic and mathematical.