検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Electronic DC OPAC T1 Logic from computer science : proceedings of a workshop held November 13-17, 1989 A1 Moschovakis, Yiannis N YR 1991 FD c1992 VO alk. paper K1 Logic, Symbolic and mathematical -- Congresses K1 Computer science -- Congresses PB Springer-Verlag PP New York SN 0387976671 LA English (英語) CL LCC:QA9.A1 CL DC20:511.3 NO Includes bibliographical references NO License restrictions may limit access NO 書誌ID=OB00868304; LK https://link.springer.com/openurl?genre=book&isbn=978-1-4612-2822-6 DS 同志社大学OPAC OL 30