コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ
- フォーマット:
- 図書
- 責任表示:
- 照井一成著
- 出版情報:
- 東京 : 青土社, 2015.3
- 形態:
- 357p ; 20cm
- ISBN:
- 9784791768516 [4791768515]
- 著者名:
- 照井, 一成(1971-) <DA18175434>
- 書誌ID:
- BB18264240
- 注記:
- 文献一覧: p345-352
- E-Resources:
類似資料:
近代科学社 |
サイエンス社 |
山手書房 |
高文堂出版社 |
培風館 |
明治図書出版 |
朝倉書店 |
筑摩書房 |
日本評論社 |
共立出版 |
森北出版 |
放送大学教育振興会 |