新入荷
再入荷
Interactive Theorem Proving and Program Development: Coq'Art
4.9
（10件）
タイムセール
終了まで
00
00
00
999円以上お買上げで送料無料（※）
999円以上お買上げで代引き手数料無料
999円以上お買上げで代引き手数料無料
通販と店舗では販売価格や税表示が異なる場合がございます。また店頭ではすでに品切れの場合もございます。予めご了承ください。
商品詳細情報
| 管理番号 |
新品 ：32434138709
中古 ：32434138709-1 |
メーカー | 16175c87e | 発売日 | 2025-04-07 02:57 | 定価 | 14461円 | ||
|---|---|---|---|---|---|---|---|---|---|
| カテゴリ | |||||||||
Interactive Theorem Proving and Program Development: Coq'Art
Interactive Theorem Proving and Program Development: Coq'Art,Interactive Theorem Proving and Program Development: Coq'Art,Coding Theorems of Information Theory | SpringerLink,9780262046879.jpg?auto=format&,The Kolob Theorem, New Edition with Added Chapter: A
洋書の作品リスト
![[A12212653]An Atlas of Histology [ペーパーバック] Zhang， Shu-Xin](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0411/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img375x500-1700323613kssx9f2435809.jpg)
![洋書 [A12158511]The Psychology of the Language Learner Revisited (Second Languag](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0502/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img333x500-1706734193xllzrx142977.jpg)
![洋書 [A01650412]Essential of Skin Pathology: with ExpertConsult Online and Print](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0412/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img369x475-1703731544otkjw6297094.jpg)
![[A12117963]Lexical Analysis: Norms and Exploitations (The MIT Press) Hanks，](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0505/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img338x500-17160930440eckgm70984.jpg)
![[A01200265]Essentials of Neural Science and Behavior Kandel， Eric R.、 Schwa](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0501/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img376x500-17046279167eajgo482074.jpg)
![[A12063815]Gender， Language and Ideology: A genealogy of Japanese women's l](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0412/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img335x500-1703701413phzgh0299599.jpg)
![洋書 [A11782288]Large-Scale Neuronal Theories of the Brain (Computational Neuros](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0412/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img364x475-1703681054ullntn283660.jpg)
![[A11405947]PhysioEx 9.1 CD-ROM (Integrated Component) Zao， Peter、 Stabler，](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0412/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img347x500-1703621836s9oopn75522.jpg)
レディースの製品
