Patching faulty conjectures

Publisher Website

1 January 1996

book chapter
Published by Springer Nature

p. 77-91
https://doi.org/10.1007/3-540-61511-3_70

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Computing induction axioms
Published by Springer Nature ,2005
On proving the termination of algorithms by machine
Artificial Intelligence, 1994
Proof plans for the correction of false conjectures
Published by Springer Nature ,1994
Rippling: A heuristic for guiding inductive proofs
Artificial Intelligence, 1993