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 58,65
EUR 17,41 expédition depuis Etats-Unis vers France
Destinations, frais et délais
Résultats de recherche pour Mathematical Reasoning With Diagrams: From Intuition...
Image fournie par le vendeur
Mathematical Reasoning With Diagrams : From Intuition to Automation
Edité par
Center for the Study of Language and Inf, 2001
ISBN 10 : 1575863235
ISBN 13 : 9781575863238
Neuf
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 541069-n
Quantité disponible : 1 disponible(s)
Image d'archives
Mathematical Reasoning With Diagrams : From Intuition to Automation
Edité par
Center for the Study of Language and Inf, 2001
ISBN 10 : 1575863235
ISBN 13 : 9781575863238
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 541069
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Mathematical Reasoning With Diagrams : From Intuition to Automation
Edité par
Center for the Study of Language and Inf, 2001
ISBN 10 : 1575863235
ISBN 13 : 9781575863238
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 541069
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 5 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 fournie par le vendeur
Mathematical Reasoning With Diagrams : From Intuition to Automation
Edité par
Center for the Study of Language and Inf, 2001
ISBN 10 : 1575863235
ISBN 13 : 9781575863238
Neuf
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 541069-n
Quantité disponible : 1 disponible(s)
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)