検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings / J. Dix, K.P. Jantke, P.H. Schmitt, eds T2 Lecture notes in computer science A1 Dix, J. (Jürgen), 1961- A1 International Workshop on Nonmonotonic and Inductive Inference A1 Jantke, Klaus P. A1 Schmitt, P. H. (Peter H.), 1948- YR 1991 FD c1991 VO : Berlin VO : New York SP x, 243 p. K1 Logic programming -- Congresses K1 Artificial intelligence -- Congresses PB Springer-Verlag PP Berlin ; Tokyo SN 3540545646 SN 0387545646 LA English (英語) CL LCC:QA76.63 CL DC20:006.3 CL NDC8:007.1 NO Proceedings of the 1st International Workshop on Nonmonotonic and Inductive Inference NO Includes bibliographical references NO 書誌ID=1000432823; NCID=BA13098850; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000432823 OL 30