検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 計算論 : 計算可能性とラムダ計算 T2 コンピュータサイエンス大学講座 A1 高橋/正子 FD 1991.8 SP 191p K1 数学基礎論 PB 近代科学社 PP 東京 SN 4764901846 CL NDC:418 NO 書誌ID=1001238121; NCID=BN06616709; LK [OPAC]https://opac.icu.ac.jp/opac/opac_link/bibid/1001238121 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BN06616709; [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/EqualFromForm?txt_isbn=4764901846