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
AI Summary
Ksh 9,350.00
Publisher Out of Stock
0 in 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.
Discover books you might love based on this title.
More in This Genre
A Student's Guide to Data and Error Analysis
Ksh 5,200.00
Chapters from Godel’s Unfinished Book on Foundational Research in Mathematics
Ksh 18,000.00
Semantic Intelligence
Ksh 36,000.00
Encyclopedia of Knot Theory
Ksh 42,300.00
Mathematical Essays and Recreations
Ksh 5,950.00
On Hilbert's Sixth Problem
Ksh 16,200.00
