この商品を友人に教える:
Implementing Mathematics with the Nuprl Proof Development System R L Constable
価格
¥ 3.224
税抜
遠隔倉庫からの取り寄せ
発送予定日 年7月13日 - 年7月29日
iMusicのウィッシュリストに追加
Implementing Mathematics with the Nuprl Proof Development System
R L Constable
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2012年1月23日 |
| ISBN13 | 9781468059106 |
| 出版社 | Createspace |
| ページ数 | 310 |
| 寸法 | 152 × 229 × 17 mm · 417 g |