Rippling
Subtitle: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)
Publisher: Cambridge University Press
Published: August 8, 2005
Language: eng
Format: Hardcover
Number of pages: 216
ISBN-13: 9780521834490
Subjects: Mathematical logic; Logic, Symbolic and mathematical; Computer Books: General; Artificial Intelligence - General; Computers; Computers - General Information; Logic, Symbolic and mathematic; General; Computers / General; Automatic theorem proving