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

Bibliographic Information

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

井田哲雄, 浜名誠共著

(Information science & engineering, F5)

サイエンス社, 2006.8

Title Transcription

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

Available at  / 110 libraries

Note

参考文献: p[121]-122

Related Books: 1-1 of 1

Details

  • NCID
    BA78024780
  • ISBN
    • 9784781911359
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    東京
  • Pages/Volumes
    iv, 125p
  • Size
    21cm
  • Classification
  • Subject Headings
  • Parent Bibliography ID
Page Top