新入荷
再入荷
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS
4.9
（6件）
タイムセール
終了まで
00
00
00
999円以上お買上げで送料無料（※）
999円以上お買上げで代引き手数料無料
999円以上お買上げで代引き手数料無料
通販と店舗では販売価格や税表示が異なる場合がございます。また店頭ではすでに品切れの場合もございます。予めご了承ください。
商品詳細情報
| 管理番号 |
新品 ：62098273440
中古 ：62098273440-1 |
メーカー | 68e8914f | 発売日 | 2025-05-05 15:16 | 定価 | 14461円 | ||
|---|---|---|---|---|---|---|---|---|---|
| カテゴリ | |||||||||
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS ,Interactive Theorem Proving and Program Development: Bertot, Yves: 9783540208549: Amazon.com: Books,Theory of Functions, Parts I and II (Dover Books on Mathematics): Knopp, Konrad: 0884406798200: Amazon.com: Books,The XX Brain: The Groundbreaking Science Empowering Women to Maximize Cognitive Health and Prevent Alzheimer's Disease,Developmental Evaluation Exemplars: Principles in Practice,
洋書の作品リスト
![洋書 [A11911509]Tumors of the Esophagus and Stomach (AFIP Atlas of Tumor Patholo](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0412/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img370x500-1703698034vmgbsp282443.jpg)
![洋書 [A12287125]Trends in Ring Theory: Proceedings of a Conference at Miskolc Hu](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0504/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img351x500-1712859795zwm4jz46633.jpg)
![[A01398786]Interchange Intro Student's Book A with Self-study DVD-ROM， Intr](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0502/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img500x500-1707390522omenmc288596.jpg)
![洋書 [A12260214]System Level Hardware/Software Co-Design: An Industrial Approach](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0502/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img330x500-1707491835gmlrcl317325.jpg)
![[A12253829]Endoscopic Sinus Surgery: Anatomy， Three-Dimensional Reconstruct](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0503/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img384x500-1710421367fn7ovb2882.jpg)
![洋書 [A12292091]Advances in Cognitive Neurodynamics (VI): Proceedings of the Six](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0504/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img332x500-1714047930ymyzmf206925.jpg)
![[AF19092201-10961]Molecular Biology [ハードカバー] Clark， David P.、 Pazdernik， Na](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0502/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img391x500-1707759997n2lw2e394216.jpg)
レディースの製品
![【中古】[FIG]セイバー/アルトリア・ペンドラゴン〔オルタ〕 英霊旅装Ver. Fate/Grand Order(フェイト/グランドオーダー) 1/7 完成品 フィ](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0505/users/5021f6412f6c483d4b669d25bb9159365dd6a54a/i-img1000x1000-1715336800kq1dxg562284.jpg)
