計算モデル論入門 : チューリング機械からラムダ計算へ

著者

• 井田, 哲雄 イダ, テツオ
• 浜名, 誠 ハマナ, マコト

書誌事項

計算モデル論入門 : チューリング機械からラムダ計算へ

井田哲雄, 浜名誠共著

（Information science & engineering, F5）

サイエンス社, 2006.8

タイトル読み

ケイサン モデルロン ニュウモン : チューリング キカイ カラ ラムダ ケイサン エ

注記

参考文献: p[121]-122

詳細情報

• NII書誌ID(NCID): BA78024780
• ISBN:
  • 4781911358
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: iv, 125p
• 大きさ: 21cm
• 分類:
  • NDC8 : 007.1
  • NDC9 : 007.1
• 件名:
  • BSH : オートマトン
• 親書誌ID:
  • BA47503960