このページのリンク

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

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

所蔵情報を非表示

東京西 2F一般
410.9/Ta33 9401476545
4764901846

書誌詳細を表示

本文言語 日本語
一般注記 参考文献: p181-183. 索引: 巻末
著者標目 高橋, 正子 <タカハシ, マサコ>
件 名 NDLSH:数学基礎論
分 類 NDC8:410.9
NDC7:410.1
書誌ID 2000032628
ISBN 4764901846
NCID BN06616709

 類似資料