検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 The logic of information structures / Heinrich Wansing T2 Lecture notes in computer science A1 Wansing, Heinrich YR 1993 FD c1993 VO : us VO : gw SP ix, 163 p. K1 Computer science K1 Artificial intelligence K1 Logic, Symbolic and mathematical PB Springer-Verlag PP Berlin ; New York SN 0387567348 SN 3540567348 LA English (英語) CL LCC:QA76. CL DC20:006.3 NO Revision of the author's doctoral thesis (Fachbereich Philosophie und Sozialwissenschaften I of the Free University of Berlin) NO Includes bibliographical references and index NO 書誌ID=1000477688; NCID=BA20586628; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000477688 OL 30