検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Logic and computational complexity : International Workshop LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers / Daniel Leivant (ed.) T2 Lecture notes in computer science A1 International workshop LCC A1 Leivant, Daniel Maurice Raphaël YR 1995 FD c1995 SP viii, 514 p. K1 Logic, Symbolic and mathematical -- Congresses K1 Computational complexity -- Congresses PB Springer-Verlag PP Berlin ; New York SN 3540601783 LA English (英語) NO Includes bibliographical references NO 書誌ID=1000525676; NCID=BA25721232; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000525676 OL 30