検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings / K.H. Bläsius, U. Hedtstück, C.-R. Rollinger (eds.) T2 Lecture notes in computer science A1 Bläsius, Karl Hans, 1952- A1 Hedtstück, Ulrich, 1951- A1 Rollinger, Claus-Rainer, 1950- YR 1990 FD c1990 VO : gw VO : us SP viii, 307 p. K1 Artificial intelligence -- Congresses K1 Logic, Symbolic and mathematical -- Congresses K1 Sorting (Electronic computers) -- Congresses K1 Abstract data types (Computer science) -- Congresses PB Springer-Verlag PP Berlin ; Tokyo SN 3540523375 SN 0387523375 LA English (英語) CL LCC:Q334 CL DC20:006.3 NO Includes bibliographical references NO 書誌ID=1000383666; NCID=BA10574892; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000383666 OL 30