-
RecordNumber
1782
-
Title
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 :
