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
$137.91

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

Synopsis

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

$137.91

Quantity

20+ in stock

More Information

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

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

New

$137.91

Synopsis

$137.91

More Information