検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Computation theory and logic / Egon Börger (ed.) T2 Lecture notes in computer science. A1 Börger, E. (Egon), 1946- YR 1987 FD c1987 SP ix, 442 p. K1 Rödding, D. 1937- (Dieter) K1 Machine theory K1 Computational complexity PB Springer-Verlag PP Berlin ; New York SN 0387181709 CL LCC:QA267 CL DC19:511 NO Includes bibliographies NO 書誌ID=1000587380; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000587380