検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira T2 Lecture notes in computer science A1 Alferes, José Júlio A1 Pereira, Luís Moniz YR 1996 FD c1996 SP xx, 326 p. K1 Logic programming K1 Reasoning PB Springer PP Berlin SN 3540614885 LA English (英語) CL LCC:QA76.63 CL DC20:006.3/3 NO Includes bibliographical references NO 書誌ID=1000542107; NCID=BA28155390; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000542107 OL 30