Skip your Account's links

$ USD

Advanced search

0 items

$0.00
  • Your basket
  • The RRP is the suggested or Recommended Retail Price of a product, set by the publisher or manufacturer.

  • View basket

  • Your basket is empty

  • Delivery included on your order!

  • View basket

Skip Navigation and go to main content

Delivery included to the United States

Mathematical Reasoning With Diagrams

Mathematical Reasoning With Diagrams From Intuition to Automation - CSLI Lecture Notes

1

Hardback (04 Feb 2002)

  • $83.15
Add to basket

Includes delivery to the United States

1 copy available online - Usually dispatched within 72 hours

Check stock

    Other formats & editions

    New
    Paperback (04 Feb 2002) $35.73

    Publisher's Synopsis

    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.

    Book information

    ISBN: 9781575863238
    Publisher: Center for the Study of Language and Inf
    Imprint: CSLI Publications
    Pub date:
    Edition: 1
    DEWEY: 511.3
    DEWEY edition: 21
    Language: English
    Number of pages: 204
    Weight: 406g
    Height: 23mm
    Width: 15mm
    Spine width: 2mm

    We recommend

    $1.81off

    Add to basket

    $1.31off

    At Sixes and Sevens

    Rachel Riley (author...

    Hardback
    Published 28 Oct 2021

    Save $1.31

    • RRP $20.49
    • $19.18
    Add to basket

    $2.50off

    Logic

    Graham Priest

    Paperback
    Published 26 Oct 2017

    Save $2.50

    • RRP $13.66
    • $11.16
    Add to basket
    Add to basket

    $2.75off

    How to Prove It

    Daniel J. Velleman

    Paperback
    Published 18 Jul 2019

    Save $2.75

    • RRP $50.59
    • $47.84
    Add to basket
    Add to basket
    Add to basket
    Add to basket

    $55.46off

    Add to basket
    Add to basket