Nouvel article expédié dans le 24H à partir des Etats Unis Livraison au bout de 20 à 30 jours ouvrables.
Nos autres offres
-
86,48 €
Produit Neuf
Ou 21,62 € /mois
- Livraison à 0,01 €
Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Metamath Format Relié - Livre Informatique
0 avis sur Metamath Format Relié - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 90,00 €
-
Catafalque
Neuf dès 86,94 €
-
I Want To Spend The Rest Of My Life Everywhere, With Everyone, One To One, Always, Forever, Now
Occasion dès 96,88 €
-
Behind Bars: The Definitive Guide To Music Notation
Neuf dès 101,68 €
-
Les Chevaux De La Satire - Les Koredugaw Du Mali
1 avis
Occasion dès 41,70 €
-
English Legal System Eighth Edition
Neuf dès 60,59 €
-
Song Book - Intégrale --- Chant, Guitare Ou Piano
Occasion dès 100,00 €
-
Turc Sans Peine Méthode Assimil
Occasion dès 60,25 €
-
The Chemistry Between Us
Neuf dès 40,66 €
-
The Work Of Hipgnosis -Walk Away Rene
1 avis
Occasion dès 71,99 €
-
The Collected Poems Of Amy Clampitt
Neuf dès 49,38 €
-
Options As A Strategic Investment
Neuf dès 34,83 €
-
Sf2a : Scientific Highlights 2004
Occasion dès 69,00 €
-
Les Clés De L'allemand D'aujourd'hui - 408 Repères Grammaticaux
2 avis
Occasion dès 37,00 €
-
Le Corbusier
2 avis
Neuf dès 445,67 €
Occasion dès 59,90 €
-
Best-Kept Boy In The World
Neuf dès 35,65 €
-
Belle Du Seigneur: A Novel
Occasion dès 34,89 €
-
Edexcel A Level Mathematics Pure Mathema
Neuf dès 64,34 €
-
Why Politicians Lie About Trade
Neuf dès 34,75 €
-
Anglais - Préparer Les Concours, Méthodologie Et Applications
Occasion dès 45,80 €
Produits similaires
Présentation Metamath Format Relié
- Livre Informatique
Résumé :
Metamath is a computer language and an associated computer program for archiving, verifying, and studying mathematical proofs. The Metamath language is simple and robust, with an almost total absence of hard-wired syntax, and we believe that it provides about the simplest possible framework that allows essentially all of mathematics to be expressed with absolute rigor. While simple, it is also powerful; the Metamath Proof Explorer (MPE) database has over 23,000 proven theorems and is one of the top systems in the Formalizing 100 Theorems challenge. This book explains the Metamath language and program, with specific emphasis on the fundamentals of the MPE database.
Détails de conformité du produit
Personne responsable dans l'UE