Mathematical Reasoning with Diagrams
Book Details
Format
Hardback or Cased Book
Book Series
Lecture Notes
ISBN-10
1575863235
ISBN-13
9781575863238
Publisher
Centre for the Study of Language & Information
Imprint
Centre for the Study of Language & Information
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Nov 1st, 2001
Print length
200 Pages
Weight
406 grams
Dimensions
2.30 x 1.50 x 0.20 cms
Product Classification:
Mathematical foundations
Ksh 9,350.00
Publisher Out of Stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
Mathematicians at every level use diagrams to prove theorems. This book investigates the possibilities of mechanizing this sort of reasoning in a formal computer-proof system, and offers a semi-automatic formal proof system which allows users to prove theorems using diagrams.
Get Mathematical Reasoning with Diagrams by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Centre for the Study of Language & Information and it has pages.