検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Logical foundations / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann T2 Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson A1 Gabbay, Dov M., 1945- A1 Hogger, Christopher John A1 Robinson, J. A. (John Alan) YR 1993 FD 1993 SP xiii, 518 p. K1 Logic programming K1 Artificial intelligence K1 Logic, Symbolic and mathematical PB Clarendon Press PB Oxford University Press PP Oxford PP Oxford ; New York SN 019853745X LA English (英語) CL NDC8:007.1 CL LCC:QA76.63 CL DC20:006.3 NO Includes bibliographical references and indexes NO 書誌ID=1000474445; NCID=BA20261714; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000474445 OL 30