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
Edité par
CSLI Publications/Center for the Study of Language & Information, 2001
ISBN 10 : 1575863243
ISBN 13 : 9781575863245
Ancien ou d'occasion
Couverture souple
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. N° de réf. du vendeur 1464481-20
Acheter D'occasion
EUR 23,79
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Mathematical Reasoning with Diagrams Format: Paperback
Edité par
University of Chicago press, 2001
ISBN 10 : 1575863243
ISBN 13 : 9781575863245
Neuf
Couverture souple
Vendeur : INDOO, Avenel, NJ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Brand New. N° de réf. du vendeur 9781575863245
Acheter neuf
EUR 28,78
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, US, 2001
ISBN 10 : 1575863243
ISBN 13 : 9781575863245
Neuf
Paperback
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. 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. N° de réf. du vendeur LU-9781575863245
Acheter neuf
EUR 31,78
Livraison gratuite
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 From Intuition to Automation
Edité par
Stanford Univ Center for the Study, 2001
ISBN 10 : 1575863243
ISBN 13 : 9781575863245
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 1st edition. 200 pages. 8.75x6.00x0.50 inches. In Stock. N° de réf. du vendeur __1575863243
Acheter neuf
EUR 29,04
Expédition à EUR 11,67
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 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 : 1575863243
ISBN 13 : 9781575863245
Ancien ou d'occasion
Couverture souple
Vendeur : Kloof Booksellers & Scientia Verlag, Amsterdam, Pays-Bas
Évaluation du vendeur 4 sur 5 étoiles
Etat : as new. Stanford, Calif.: CSLI, 2001. Paperback. 204 pp. English text. Condition : as new.Includes bibliographical references (p. 190-198) and index. - 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. Condition : as new copy. ISBN 9781575863245. Keywords : , N° de réf. du vendeur 274453
Acheter D'occasion
EUR 16,95
Expédition à EUR 30
Expédition depuis Pays-Bas vers Etats-Unis
Expédition depuis Pays-Bas vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Mathematical Reasoning with Diagrams - From Intuition to Automation: Volume 127 (Lecture Notes)
Edité par
Center for the Study of Language and Information, 2002
ISBN 10 : 1575863243
ISBN 13 : 9781575863245
Neuf
Couverture souple
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. 2002. Illustrated. Paperback. . . . . . N° de réf. du vendeur V9781575863245
Acheter neuf
EUR 40,03
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
Centre for the Study of Language & Information, 2001
ISBN 10 : 1575863243
ISBN 13 : 9781575863245
Neuf
Paperback / softback
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback / softback. Etat : New. New copy - Usually dispatched within 4 working days. N° de réf. du vendeur B9781575863245
Acheter neuf
EUR 34,96
Expédition à EUR 16,47
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Mathematical Reasoning with Diagrams ? From Intuition to Automation: Volume 127 (Lecture Notes)
Edité par
Center for the Study of Language and Information, 2001
ISBN 10 : 1575863243
ISBN 13 : 9781575863245
Neuf
Couverture souple
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. 2002. Illustrated. Paperback. . . . . . Books ship from the US and Ireland. N° de réf. du vendeur V9781575863245
Acheter neuf
EUR 49,39
Expédition à EUR 8,98
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Mathematical Reasoning with Diagrams (Volume 127) (Lecture Notes)
Edité par
Center for the Study of Language and Inf, 2001
ISBN 10 : 1575863243
ISBN 13 : 9781575863245
Neuf
Paperback
Vendeur : BennettBooksLtd, Los Angeles, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. In shrink wrap. Looks like an interesting title! N° de réf. du vendeur Q-1575863243
Acheter neuf
EUR 84,12
Expédition à EUR 5,95
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, US, 2001
ISBN 10 : 1575863243
ISBN 13 : 9781575863245
Neuf
Paperback
Vendeur : Rarewaves.com UK, London, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. 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. N° de réf. du vendeur LU-9781575863245
Acheter neuf
EUR 34,96
Expédition à EUR 75,88
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)