---

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

データ種別	図書
著者標目	井田, 哲雄(1947-) <イダ, テツオ> 浜名, 誠(1971-) <ハマナ, マコト>
出版者	東京 : サイエンス社
出版年	2006.8

 類似資料