Mathematical Reasoning with Diagrams. This item is unavailable.
Language: English
Published by CSLI Publications/Center for the Study of Language & Information, 2001
- Softcover
- Used
Seller: Better World Books Ltd, Dunfermline, United KingdomBetter World Books Ltd
5-star seller
AbeBooks seller since October 13, 2008
Unavailable
Softcover
Condition: Used - Good
£ 26.70
Item description from seller
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.
Seller Inventory # 1464481-20
- Title
- Mathematical Reasoning with Diagrams
- Author
- Jamnik, Mateja
- Publisher
- CSLI Publications/Center for the Study of Language & Information
- Publication year
- 2001
- Condition
- Good
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 1575863243
- ISBN 13
- 9781575863245
- Item weight
- 0.67 pounds
- Dimensions
- N/A
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.
"Synopsis" may belong to another edition of this title.
About the Author
Mateja Jamnik is a research fellow in the School of Computer Science at the University of Birmingham.
"About the title" may belong to another edition of this title.
Search results for Mathematical Reasoning with Diagrams
There are 6 more copies of this bookView all results