このページのリンク

ケイサンロン
計算論 : 計算可能性とラムダ計算 / 高橋正子/著
(コンピュータサイエンス大学講座 ; 24)

データ種別 図書
出版者 東京 : 近代科学社
出版年 1991.8
大きさ 191p ; 22cm

所蔵情報を非表示


GF:BOOK.SHELF 418/Ta332k 05338798
4764901846

書誌詳細を非表示

内容注記 参考文献:p181~183
著者標目 高橋/正子 <タカハシ,マサコ>
件 名 数学基礎論
分 類 NDC:418
書誌ID 1001238121
ISBN 4764901846
NCID BN06616709 WCLINK

 類似資料