検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Term indexing / Peter Graf T2 Lecture notes in computer science A1 Graf, Peter YR 1995 FD c1995 SP xiv, 284 p. K1 Automatic theorem proving K1 Expert systems (Computer science) K1 Artificial intelligence K1 Indexing PB Springer-Verlag PP Berlin ; New York SN 3540610405 LA English (英語) NO 書誌ID=1000536838; NCID=BA27368986; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000536838 OL 30