• Баловство: игры с материальной культурой

    • Store
  • Get directions
    Business hours
Баловство: игры с материальной культурой
Баловство: игры с материальной культурой
Categories
+3

Le Coq Art (EN)

00253
$52
In stock
1
Product Details

Interactive Theorem Proving and Program Development
Coq'Art: The Calculus of Inductive Constructions

490pp, 1.7 kg of Coq Art :)

Save this product for later
  • My Account
  • Track Orders
  • Favorites
  • Shopping Bag
Display prices in: USD
Share Tweet Pin
© Баловство: игры с материальной культурой Report abuse Cookie settings