コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ
- 種類:
- 図書
- 責任表示:
- 照井一成著
- 出版情報:
- 東京 : 青土社, 2015.3
- 著者名:
- 照井, 一成(1971-) <DA18175434>
- ISBN:
- 9784791768516 [4791768515]
- 注記:
- 文献一覧: p345-352
類似資料:
近代科学社 |
筑摩書房 |
創元社 |
放送大学教育振興会 |
培風館 |
共立出版 |
ベレ出版 |
放送大学教育振興会 |
共立出版 |
東京大学出版会 |
[出版者不明] |
明治図書出版 |