Articles liés à Mathematical Reasoning With Diagrams: From Intuition...
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Mateja Jamnik is a research fellow in the School of Computer Science at the University of Birmingham.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurCentre for the Study of Language & Information
- Date d'édition2001
- ISBN 10 1575863235
- ISBN 13 9781575863238
- ReliureRelié
- Langueanglais
- Nombre de pages200
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 13,60
EUR 22,05 expédition depuis Etats-Unis vers France
Destinations, frais et délais
Résultats de recherche pour Mathematical Reasoning With Diagrams: From Intuition...
Image d'archives
Mathematical Reasoning with Diagrams
Edité par
Center for the Study of Language and Inf, 2001
ISBN 10 : 1575863235
ISBN 13 : 9781575863238
Neuf
Couverture rigide
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. 200 pp., Hardcover, new. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. N° de réf. du vendeur ZB1272392
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
MATHEMATICAL REASONING W/DIAGR
Edité par
CTR FOR STUDY OF LANG & INFO, 2001
ISBN 10 : 1575863235
ISBN 13 : 9781575863238
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Gebunden. Etat : New. KlappentextMathematicians 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 off. N° de réf. du vendeur 867691400
Quantité disponible : Plus de 20 disponibles
Image d'archives
Mathematical Reasoning with Diagrams Format: Hardcover
Edité par
University of Chicago press, 2001
ISBN 10 : 1575863235
ISBN 13 : 9781575863238
Neuf
Couverture rigide
Vendeur : INDOO, Avenel, NJ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Brand New. N° de réf. du vendeur 9781575863238
Quantité disponible : Plus de 20 disponibles
Image d'archives
Mathematical Reasoning with Diagrams
Edité par
Center for the Study of Language and Inf, 2001
ISBN 10 : 1575863235
ISBN 13 : 9781575863238
Neuf
Couverture rigide
Vendeur : dsmbooks, Liverpool, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : New. New. book. N° de réf. du vendeur D8S0-3-M-1575863235-6
Quantité disponible : 1 disponible(s)