北海道科学大学OPAC

ようこそ  ゲスト さん

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

計算モデル論入門 : チューリング機械からラムダ計算へ / 井田哲雄, 浜名誠共著

(Information science & engineering;F5)
データ種別 図書
出版者 東京 : サイエンス社
出版年 2006.8
本文言語 日本語
大きさ iv, 125p : 挿図 ; 21cm

所蔵情報を非表示

配架場所 巻 次 請求記号 登録番号 状 態 ISBN 資料種別 利用注記 請求メモ 予約
2F書庫1-和書
007.1/I 18 010458043 4781911358 図書

書誌詳細を非表示

一般注記 参考文献: p[121]-122
著者標目 井田, 哲雄(1947-) <イダ, テツオ>
浜名, 誠(1971-) <ハマナ, マコト>
件 名 BSH:オートマトン
分 類 NDC8:007.1
NDC9:007.1
書誌ID 1000096548
ISBN 4781911358

ページトップ