Edinburgh Research Explorer

Proof Plans for the Correction of False Conjectures

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Proof Plans for the Correction of False Conjectures. / Monroy, Raul; Bundy, Alan; Ireland, Andrew.

Proceedings of Logic Programming and Automated Reasoning '94. 1994.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Monroy, R, Bundy, A & Ireland, A 1994, Proof Plans for the Correction of False Conjectures. in Proceedings of Logic Programming and Automated Reasoning '94.

APA

Monroy, R., Bundy, A., & Ireland, A. (1994). Proof Plans for the Correction of False Conjectures. In Proceedings of Logic Programming and Automated Reasoning '94

Vancouver

Monroy R, Bundy A, Ireland A. Proof Plans for the Correction of False Conjectures. In Proceedings of Logic Programming and Automated Reasoning '94. 1994

Author

Monroy, Raul ; Bundy, Alan ; Ireland, Andrew. / Proof Plans for the Correction of False Conjectures. Proceedings of Logic Programming and Automated Reasoning '94. 1994.