Rippling: Meta-Level Guidance for Mathematical Reasoning
by
 
Bundy, Alan.

Title
: 
Rippling: Meta-Level Guidance for Mathematical Reasoning

Author
: 
Bundy, Alan.

ISBN
: 
9780511543326
 
9780521834490

Publication Information
: 
Cambridge : Cambridge University Press, 2005

Physical Description
: 
1 online resource (216 p.) : digital, PDF file(s).

Series
: 
Cambridge Tracts in Theoretical Computer Science no. 56

Series Title
: 
Cambridge Tracts in Theoretical Computer Science no. 56

General Note
: 
Title from publishers bibliographic system (viewed on 06 Sep 2013).

Subject Term
: 
Automatic theorem proving.
 
Logic, Symbolic and mathematical.

Added Author
: 
Bundy, Alan.
 
Basin, David.
 
Hutter, Dieter.
 
Ireland, Andrew.

Electronic Access
: 
Access by subscription


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book238201-1001ONLINEElektronik Kütüphane