Description: Mathematical Reasoning With Diagrams : From Intuition to Automation, Paperback by Jamnik, Mateja, ISBN 1575863243, ISBN-13 9781575863245, Like New Used, Free shipping in the US 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.
Price: 32.72 USD
Location: Jessup, Maryland
End Time: 2025-02-05T03:23:18.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Mathematical Reasoning With Diagrams : From Intuition to Automati
Number of Pages: 200 Pages
Publication Name: Mathematical Reasoning with Diagrams
Language: English
Publisher: Csli Publications/Center for T.H.E. Study of Language & Information
Item Height: 0 in
Subject: Intelligence (Ai) & Semantics, General, Logic
Publication Year: 2001
Type: Textbook
Item Weight: 10.9 Oz
Subject Area: Mathematics, Computers
Item Length: 0.9 in
Author: Mateja Jamnik
Item Width: 0.6 in
Series: Lecture Notes Ser.
Format: Trade Paperback
