※一部利用できない機能があります
コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ
- フォーマット:
- 図書
- 責任表示:
- 照井一成著
- 言語:
- 日本語
- 出版情報:
- 東京 : 青土社, 2015.3
- 形態:
- 357p ; 20cm
- 著者名:
- 照井, 一成(1971-) <DA18175434>
- 書誌ID:
- BB18264240
- ISBN:
- 9784791768516 [4791768515]
類似資料:
明治図書出版 |
日本評論社 |
遊星社, 星雲社 (発売) |
遊星社, 星雲社 (発売) |
白揚社 |
森北出版 |
NHK出版 |
大竹出版 |
技術評論社 |
日本コンピュータ協会 |
日本評論社 |
近代科学社 |