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
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 238201-1001 | ONLINE | | Elektronik Kütüphane |