検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 計算論 : 計算可能性とラムダ計算 / 高橋正子著 T2 コンピュータサイエンス大学講座 A1 高橋, 正子 YR 1991 FD 1991.8 SP iv, 191p K1 数学基礎論 PB 近代科学社 PP 東京 SN 4764901846 LA Japanese (日本語) CL NDC8:410.9 CL NDC7:410.1 NO 参考文献: p181-183. 索引: 巻末 NO 書誌ID=2000032628; NCID=BN06616709; LK [OPAC]https://www.lib.ntu.ac.jp/opac/opac_link/bibid/2000032628 OL 58