計算論 : 計算可能性とラムダ計算
- 種類:
- 図書
- 責任表示:
- 高橋正子著
- 出版情報:
- 東京 : 近代科学社, 1991.8
- 著者名:
- 高橋, 正子 <DA00625122>
- シリーズ名:
- コンピュータサイエンス大学講座 ; 24 <BN00149349>
- ISBN:
- 9784764901841 [4764901846]
- 注記:
- 参考文献: p181-183. 索引: 巻末
類似資料:
近代科学社 |
オーム社 |
近代科学社 |
森北出版 |
近代科学社 |
岩波書店 |
共立出版 |
教育出版 |
山口書店 |
サイエンス社 |
日本評論社 |
岩波書店 |