Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Contact
How to shop
Help
Delivery
Austrian Post 5.49 €
GLS courier 4.99 €
DPD courier 4.49 €
DPD point 3.49 €
Shopping guide
My account
▸
Empty :-(
0
Mathematical Reasoning with Diagrams
Language
English
English
Book
Hardback
Mathematicians at every level use diagrams to prove theorems. "Mathematical Reasoning with Diagrams"...
Full description
Libristo code: 04821096
?
157 b
157 b
64.19
€
VAT included
Low in stock at our supplier
Shipping in 13-18 days
Delivery to Austria
Delivery to Austria
Up to 30 days for returns
Customers also purchased
/
Paperback
79.00
€
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.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Mathematical Reasoning with Diagrams
Author
Mateja Jamnik
Language
English
English
Binding
Book - Hardback
Date of issue
2002
Number of pages
200
EAN
9781575863238
Libristo code
04821096
Publishers
University of Chicago Press
Weight
412
Dimensions
180 x 236 x 17
Categories
