Books
1 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
Rippling: Meta-level Guidance for Mathematical Reasoning | Alan Bundy | 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 origi… | OL15173697W |