Cambridge Catalogue  
  • Help
Home > Catalogue > Rippling: Meta-Level Guidance for Mathematical Reasoning
Rippling: Meta-Level Guidance for Mathematical Reasoning
Google Book Search

Search this book

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

Hardback

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

printer iconPrinter friendly versionemail iconEmail a colleague AddThis