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 1575863243
- ISBN 13 9781575863245
- ReliureBroché
- Langueanglais
- Nombre de pages200
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 40,81
EUR 3 expédition depuis Irlande 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: Volume 127
Edité par
Center for the Study of Language and Informat, 2001
ISBN 10 : 1575863243
ISBN 13 : 9781575863245
Ancien ou d'occasion
Paperback
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.68. N° de réf. du vendeur G1575863243I3N00
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 : 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
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
Quantité disponible : 15 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 : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 868702-n
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 : 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
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
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
MATHEMATICAL REASONING W/DIAGR
Edité par
CTR FOR STUDY OF LANG & INFO, 2002
ISBN 10 : 1575863243
ISBN 13 : 9781575863245
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. 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 867691401
Quantité disponible : Plus de 20 disponibles
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
Quantité disponible : 15 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
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
Quantité disponible : Plus de 20 disponibles