検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Non-standard inferences in description logics / Ralf Küsters T2 Lecture notes in computer science A1 Küsters, Ralf YR 2001 FD c2001 SP x, 250 p. K1 Artificial intelligence K1 Predicate (Logic) K1 Knowledge representation (Information theory) PB Springer PP Berlin SN 3540423974 LA English (英語) CL LCC:Q334 NO Includes bibliographical references (p. [235]-244) and index NO 書誌ID=1001307725; NCID=BA53059956; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001307725 OL 30