The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)

Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)

by Alan Bundy (Author), Andrew Ireland (Author), Dieter Hutter (Author), David Basin (Author)

  • New

    Hardcover 2005

    $144.89
Synopsis

A unique, systematic and comprehensive introduction to rippling and to the wider subject of automated inductive theorem proving.

$144.89

Quantity

20+ in stock

More Information

Format: Hardcover
 Pages: 216
 Publisher: Cambridge University Press
Published: 30 Jun 2005
ISBN 10: 052183449X
ISBN 13: 9780521834490