検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Computability, complexity, and languages : fundamentals of theoretical computer science / Martin D. Davis, Ron Sigal, Elaine J. Weyuker T2 Computer science and scientific computing A1 *Davis, Martin, 1928- A1 Sigal, Ron A1 Weyuker, Elaine J YR 1994 FD c1994 SP xix, 609 p. K1 Machine theory K1 Computational complexity K1 Formal languages ED 2nd. ed PB Academic Press PP Boston SN 0122063821 LA English (英語) CL LCC:QA267 CL DC20:511.3 NO Includes bibliographical references and index NO 書誌ID=1000057021; NCID=BA22456871; LK [OPAC]https://libop-nifs.nifs.ac.jp/opac/opac_link/bibid/1000057021 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BA22456871; [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/EqualFromForm?txt_isbn=0122063821 OL 30