検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Logic programming / edited by Dov M. Gabbay, C.J. Hogger and J.A. Robinson 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 1998 FD 1998 SP xv, 799 p. K1 Logic programming PB Clarendon Press PP Oxford SN 0198537921 LA English (英語) CL LCC:QA76.63 NO Includes bibliographical references and index NO 書誌ID=1000557366; NCID=BA33945643; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000557366 OL 30