---

ケイサン モデルロン ニュウモン : チューリング キカイ カラ ラムダ ケイサン エ
計算モデル論入門 : チューリング機械からラムダ計算へ / 井田哲雄, 浜名誠共著
(Information science & engineering ; F5)

データ種別	図書
出版者	東京 : サイエンス社
出版年	2006.8
形態	iv, 125p : 挿図 ; 21cm
著者標目	井田, 哲雄(1947-) <イダ, テツオ> 浜名, 誠(1971-) <ハマナ, マコト>
件　名	BSH:オートマトン
分　類	NDC9:007.1
書誌ID	LT00740703

 類似資料