検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings / D. Pearce, H. Wansing (eds.) T2 Lecture notes in computer science A1 All-Berlin Workshop on Nonclassical Logics and Information Processing A1 Pearce, David A., 1952- A1 Wansing, Heinrich YR 1992 FD c1992 VO : New York SP 171 p. K1 Computers -- Congresses K1 Electronic data processing -- Congresses K1 Logic, Symbolic and mathematical -- Congresses PB Springer-Verlag PP Berlin ; New York SN 0387557458 LA English (英語) CL LCC:QA75.5 CL DC20:004 NO "First All-Berlin Workshop on Nonclassical Logics and Information Processing"--Pref NO Includes bibliographical references NO 書誌ID=1000454583; NCID=BA18330734; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000454583 OL 30