検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Deduction methodologies / 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 1994 FD 1994 SP xv, 511 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 0198537468 LA English (英語) CL NDC8:007.1 CL LCC:QA76.63 CL DC20:006.3 NO Includes bibliographical references and index NO 書誌ID=1000494336; NCID=BA22029371; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000494336 OL 30