Searching for "Proof Plans for the Correction of False Conjectures." – sorted by Relevance.
-
Proof Plans for the Correction of False Conjectures
- Proof Plans for the Correction of False Conjectures ? Raul Monroy, Alan Bundy, & Andrew Ireland
- Cited by 9 (5 self) – Add To MetaCart
-
CompuNet subgroup on Program Development, Analysis and Transformation
- --602. The MIT Press, 1994. [72] R. Monroy, A. Bundy, and A. Ireland. Proof plans for the correction of false
- Add To MetaCart

