• Description
• Table of contents
• Excerpt
• Index
• Copyright
• Frontmatter

Details

• 1 b/w illus. 10 colour illus.
• Page extent: 216 pages
• Size: 228 x 152 mm
• Weight: 0.475 kg

Library of Congress

• Dewey number: 006.3/33
• Dewey version: 22
• LC Classification: QA76.9.A96 B84 2005
• LC Subject headings:
  • Automatic theorem proving
  • Logic, Symbolic and mathematical

Library of Congress Record

Rippling: Meta-Level Guidance for Mathematical Reasoning

Series: Cambridge Tracts in Theoretical Computer Science (No. 56)

Alan Bundy

University of Edinburgh

David Basin

ETH Zentrum, Switzerland

Dieter Hutter

German Research Centre for Artificial Intelligence

Andrew Ireland

Heriot-Watt University, Edinburgh

Hardback

 (ISBN-13: 9780521834490 | ISBN-10: 052183449X)

• Also available in eBook format

For price and ordering options, inspection copy requests, and reading lists please select:

Europe, Middle East and Africa | Americas | Asia | Australia and New Zealand

Please note local prices may apply

Quick search

Advanced search...

Related areas

• (Series) Cambridge Tracts in Theoretical Computer Science
• Algorithms, Complexity and Cryptography
• Foundations, Combinatorics & Logic