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.
Autres éditions populaires du même titre
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 : 1575863243
ISBN 13 : 9781575863245
Neuf
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 868702-n
Acheter neuf
EUR 26,70
Expédition à EUR 2,28
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 2 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 29,06
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,99
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 30,25
Expédition à EUR 11,60
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
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 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 : 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 868702
Acheter D'occasion
EUR 30,39
Expédition à EUR 17,39
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 : 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 868702
Acheter D'occasion
EUR 46,52
Expédition à EUR 2,28
Expédition nationale : Etats-Unis
Expédition nationale : 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, 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 10,50
Expédition depuis Irlande vers Etats-Unis
Expédition depuis Irlande vers Etats-Unis
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 : 1575863243
ISBN 13 : 9781575863245
Neuf
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 868702-n
Acheter neuf
EUR 38,28
Expédition à EUR 17,39
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,87
Expédition à EUR 9,07
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)