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

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

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

井田哲雄, 浜名誠共著

東京 : サイエンス社, 2006.8

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

007.1-I18

10006010235

一般図書

2

007.1-I18

10006012501

一般図書

詳細情報

刊年

2006

形態

iv, 125p : 挿図 ; 21cm

シリーズ名

Information science & engineering ; F5

注記

参考文献: p[121]-122

出版国

日本

標題言語

日本語 (jpn)

本文言語

日本語 (jpn)

著者情報

井田, 哲雄(1947-) (イダ, テツオ) [ Ida, Tetsuo ] [ Ida, T. ]

浜名, 誠(1971-) (ハマナ, マコト)

分類

NDC8:007.1

NDC9:007.1

件名

オートマトン

ISBN

4781911358

NCID

BA78024780

番号

TRC : 06040165