Mathematical Reasoning with Diagrams: From Intuition to Automation
Mateja Jamnik
ISBN 10: 1575863243 ISBN 13: 9781575863245
Published by Centre for the Study of Language & Information, 2001
New
Paperback / softback
From
THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
AbeBooks Seller since 14 June 2006
This specific item is no longer available.
About this Item
Description:
New copy - Usually dispatched within 7-11 working days. 336. Seller Inventory # B9781575863245
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.
About the Author: Mateja Jamnik is a research fellow in the School of Computer Science at the University of Birmingham.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Mathematical Reasoning with Diagrams: From ...
Publisher: Centre for the Study of Language & Information
Publication Date: 2001
Binding: Paperback / softback
Condition: New
Top Search Results from the AbeBooks Marketplace
Stock Image
Mathematical reasoning with diagrams : from intuition to automation
Published by
Center for the Study of Language and Inf, 2001
ISBN 10: 1575863243
ISBN 13: 9781575863245
Used
Softcover
Seller: Kloof Booksellers & Scientia Verlag, Amsterdam, Netherlands
Seller rating 4 out of 5 stars
Condition: 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 : , Seller Inventory # 274453
Quantity: 1 available
Stock Image
Mathematical Reasoning with Diagrams: Volume 127
Published by
Center for the Study of Language and Informat, 2001
ISBN 10: 1575863243
ISBN 13: 9781575863245
Used
Paperback
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.68. Seller Inventory # G1575863243I3N00
Quantity: 1 available
Seller Image
Mathematical Reasoning With Diagrams : From Intuition to Automation
Published by
Center for the Study of Language and Inf, 2001
ISBN 10: 1575863243
ISBN 13: 9781575863245
New
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 868702-n
Quantity: 1 available
Seller Image
Mathematical Reasoning With Diagrams : From Intuition to Automation
Published by
Center for the Study of Language and Inf, 2001
ISBN 10: 1575863243
ISBN 13: 9781575863245
Used
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 868702
Quantity: 1 available
Stock Image
Mathematical Reasoning with Diagrams Format: Paperback
Published by
University of Chicago press, 2001
ISBN 10: 1575863243
ISBN 13: 9781575863245
New
Softcover
Seller: INDOO, Avenel, NJ, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Brand New. Seller Inventory # 9781575863245
Quantity: Over 20 available
Seller Image
Mathematical Reasoning With Diagrams : From Intuition to Automation
Published by
Center for the Study of Language and Inf, 2001
ISBN 10: 1575863243
ISBN 13: 9781575863245
Used
Softcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 868702
Quantity: 1 available
Stock Image
Mathematical Reasoning with Diagrams - From Intuition to Automation: Volume 127 (Lecture Notes)
Published by
Center for the Study of Language and Information, 2002
ISBN 10: 1575863243
ISBN 13: 9781575863245
New
Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. 2002. Illustrated. Paperback. . . . . . Seller Inventory # V9781575863245
Quantity: 15 available
Seller Image
MATHEMATICAL REASONING W/DIAGR
Published by
CTR FOR STUDY OF LANG & INFO, 2002
ISBN 10: 1575863243
ISBN 13: 9781575863245
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: 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. Seller Inventory # 867691401
Quantity: Over 20 available
Seller Image
Mathematical Reasoning With Diagrams : From Intuition to Automation
Published by
Center for the Study of Language and Inf, 2001
ISBN 10: 1575863243
ISBN 13: 9781575863245
New
Softcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 868702-n
Quantity: 1 available
Stock Image
Mathematical Reasoning with Diagrams ? From Intuition to Automation: Volume 127 (Lecture Notes)
Published by
Center for the Study of Language and Information, 2001
ISBN 10: 1575863243
ISBN 13: 9781575863245
New
Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. 2002. Illustrated. Paperback. . . . . . Books ship from the US and Ireland. Seller Inventory # V9781575863245
Quantity: 15 available