[email protected]
Nous vous répondrons dans les 24 heures
La Poste Autrichienne 5.99 €
Coursier DPD 6.49 €
Service de messagerie GLS 4.49 €
Contact
Comment faire ses achats
Assistance
Livraison
La Poste Autrichienne 5.99 €
Coursier DPD 6.49 €
Service de messagerie GLS 4.49 €
Guide d'achat
Nous sommes à votre disposition !
[email protected]
Mon compte
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages.
Créer un compte gratuitement
▸
Vide :-(
0
Mathematical Reasoning with Diagrams
Langue
Anglais
Anglais
Livre
Livre relié
Mathematicians at every level use diagrams to prove theorems. "Mathematical Reasoning with Diagrams"...
Description détaillée
Code Libristo: 04821096
?
191 b
191 b
80.91
€
včetně DPH
50% de chance
Nous cherchons dans le monde
Quand vais-je recevoir mon livre ?
common.delivery_to
common.delivery_to
Politique de retour sous 30 jours
Ceci pourrait également vous intéresser
Mathematicians at every level use diagrams to prove theorems. "Mathematical Reasoning with Diagrams" investigates the possibilities of mechanizing this sort of diagrammatic reasoning in a formal computer proof system, even offering a semi-automatic formal proof system - called Diamond - which allows users to prove arithmetical theorems using diagrams.
À propos du livre
Nom complet
Mathematical Reasoning with Diagrams
Auteur
Mateja Jamnik
Langue
Anglais
Anglais
Reliure
Livre - Livre relié
Date de parution
2002
Nombre de pages
200
EAN
9781575863238
Code Libristo
04821096
Éditeurs
University of Chicago Press
Poids
412
Dimensions
180 x 236 x 17
