Rippling

SubTitle

meta-level guidance for mathematical reasoning

Author Statement

Alan Bundy ... [et al.].

Publication

Cambridge University Press

Publication Year

c2005

Collation

xiv, 202 p. ill. 24 cm

Series

Cambridge tracts in theoretical computer science

Notes

Includes bibliographical references (p. 193-199) and index.

Subject

Automatic theorem proving , Logic, Symbolic and mathematical

Main class

006.

Sub class

333

Cutter no

R593

ISBN

9780511113383

Link To Document