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.
Résultats de recherche pour Mathematical Reasoning With Diagrams: From Intuition...
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
Acheter neuf
EUR 60,47
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Mathematical Reasoning with Diagrams
Edité par
Centre for the Study of Language and Information, 2001
ISBN 10 : 1575863235
ISBN 13 : 9781575863238
Neuf
Couverture rigide
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur FW-9781575863238
Acheter neuf
EUR 68,05
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Mathematical Reasoning with Diagrams
Edité par
Centre for the Study of Language and Information, 2001
ISBN 10 : 1575863235
ISBN 13 : 9781575863238
Neuf
Couverture rigide
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur FW-9781575863238
Acheter neuf
EUR 66,46
Expédition à EUR 4,85
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
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 : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur V9781575863238
Acheter neuf
EUR 67,84
Expédition à EUR 9,50
Expédition depuis Irlande vers Etats-Unis
Expédition depuis Irlande vers Etats-Unis
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
Neuf
Couverture rigide
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Brand New. 1st edition. 200 pages. 9.25x6.25x0.75 inches. In Stock. N° de réf. du vendeur __1575863235
Acheter neuf
EUR 65,69
Expédition à EUR 11,67
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
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 : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur V9781575863238
Acheter neuf
EUR 70,40
Expédition à EUR 9,01
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Mathematical Reasoning with Diagrams
Edité par
Centre for the Study of Language & Information, 2001
ISBN 10 : 1575863235
ISBN 13 : 9781575863238
Neuf
Couverture rigide
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. New copy - Usually dispatched within 4 working days. N° de réf. du vendeur B9781575863238
Acheter neuf
EUR 78,85
Expédition à EUR 17,70
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
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 : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : New. New .Ships From Multiple Locations. book. N° de réf. du vendeur ERICA80315758632356
Acheter neuf
EUR 201,86
Expédition à EUR 29,16
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)