David Basin eBooks
eBooks found: 1
Rippling: Meta-level Guidance for Mathematical Reasoning
Cambridge University Press, May 2005
ISBN: 9780521834490
Rippling is a radically new technique for the automation of mathematical reasoning. It is widely applicable whenever a goal is to be proved from one or more syntactically similar givens. It was originally >>
eBook price:
$116.00
.jpg "Are You This Author? Click here!")
