WebOPAC Local書誌詳細

書誌詳細

	計算論 : 計算可能性とラムダ計算高橋正子著. -- 近代科学社, 1991. -- (コンピュータサイエンス大学講座 ; 24). <BB00080582> 登録タグ：登録されているタグはありません便利機能：詳細情報を見る書誌URL：

計算論 : 計算可能性とラムダ計算高橋正子著. -- 近代科学社, 1991. -- (コンピュータサイエンス大学講座 ; 24). <BB00080582> 登録タグ：登録されているタグはありません便利機能：詳細情報を見る書誌URL：

No.	所蔵館	配置場所	請求記号	資料ID	状態	予約
0001	本部	保存庫2階一般	007.6/Ko78/24	11114021290		0件
0002	山形	山形一般書	007.6/Ko78/24	11114021283	禁帯出	0件
0003	岡山	岡山一般書	007.6/Ko78/24	11114021308	禁帯出	0件

標題および責任表示

計算論 : 計算可能性とラムダ計算 / 高橋正子著
ケイサンロン : ケイサンカノウセイトラムダケイサン

出版・頒布事項

東京 : 近代科学社 , 1991.8

形態事項

iv, 191p ; 22cm

巻号情報

ISBN	4764901846

書誌構造リンク

コンピュータサイエンス大学講座||コンピュータサイエンスダイガクコウザ <BB00080583> 24//a

注記

参考文献: p181-183. 索引: 巻末

NCID

BN06616709

本文言語コード

日本語

著者標目リンク

高橋, 正子||タカハシ, マサコ <AU10041579>

分類標目

数学 NDC8:410.9

分類標目

NDC7:410.1

件名標目等

数学基礎論||スウガクキソロン