新入荷
再入荷
![洋書 [A11442222]Interactive Theorem Proving and Program Development: Coq'Art: Th](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0411/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img333x500-1700318132o6vo3j727978.jpg)
![洋書 [A11442222]Interactive Theorem Proving and Program Development: Coq'Art: Th](https://www.suruga-ya.jp/database/images/no_photo.jpg)
洋書 [A11442222]Interactive Theorem Proving and Program Development: Coq'Art: Th
4.9
（15件）
タイムセール
終了まで
00
00
00
999円以上お買上げで送料無料（※）
999円以上お買上げで代引き手数料無料
999円以上お買上げで代引き手数料無料
通販と店舗では販売価格や税表示が異なる場合がございます。また店頭ではすでに品切れの場合もございます。予めご了承ください。
商品詳細情報
| 管理番号 |
新品 ：55922273440
中古 ：55922273440-1 |
メーカー | 07b206811d | 発売日 | 2025-05-01 10:29 | 定価 | 14461円 | ||
|---|---|---|---|---|---|---|---|---|---|
| カテゴリ | |||||||||
洋書 [A11442222]Interactive Theorem Proving and Program Development: Coq'Art: Th
Interactive Theorem Proving and Program Development: Bertot, Yves: 9783540208549: Amazon.com: Books,Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions : Bertot, Yves, Castéran, Pierre, Huet, G., Paulin-Mohring, C.: Amazon.se: Böcker,Learning to prove theorems via interacting with proof assistants | the morning paper,Connecting Math Concepts Textbook, Level C by Siegfried Engelmann (2002) Paperback: McGraw Hill: 9780026846912: Amazon.com: Books
洋書の作品リスト
![[1881年]ドイツの古い植物図鑑(ALPENPFLANZEN Ⅲ)/アンティーク ヴィンテージ ヨーロッパ 植物画 ボタニカルアート 洋書 雰囲気◎/](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0302/users/447de01ef875faf58df692edaa8053b733b619eb/i-img1200x1200-1645887695zfbybl15.jpg)
![[1922年]ドイツの古い哺乳類図鑑(DIE SAUGETIERE)/アンティーク ヴィンテージ ヨーロッパ 哺乳類のイラスト 哺乳類の絵 雰囲気◎/](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0503/users/447de01ef875faf58df692edaa8053b733b619eb/i-img1200x1200-1709261477rb9u887.jpg)
レディースの製品
