Deduction methodologies

著者

書誌事項

Deduction methodologies

edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann

（Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson, v. 2）

Clarendon Press , Oxford University Press, 1994

大学図書館所蔵 件 / 全56件

この図書・雑誌をさがす

注記

Includes bibliographical references and index

関連文献： 1件中  1-1を表示

詳細情報

ページトップへ