Edinburgh Research Explorer

The Use of Explicit Plans to Guide Inductive Proofs

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

Standard

The Use of Explicit Plans to Guide Inductive Proofs. / Bundy, Alan.

9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23–26, 1988 Proceedings. Springer-Verlag GmbH, 1988. (Lecture Notes in Computer Science; Vol. 310).

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

Harvard

Bundy, A 1988, The Use of Explicit Plans to Guide Inductive Proofs. in 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23–26, 1988 Proceedings. Lecture Notes in Computer Science, vol. 310, Springer-Verlag GmbH. DOI: 10.1007/BFb0012826

APA

Bundy, A. (1988). The Use of Explicit Plans to Guide Inductive Proofs. In 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23–26, 1988 Proceedings (Lecture Notes in Computer Science; Vol. 310). Springer-Verlag GmbH. DOI: 10.1007/BFb0012826

Vancouver

Bundy A. The Use of Explicit Plans to Guide Inductive Proofs. In 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23–26, 1988 Proceedings. Springer-Verlag GmbH. 1988. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/BFb0012826

Author

Bundy, Alan. / The Use of Explicit Plans to Guide Inductive Proofs. 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23–26, 1988 Proceedings. Springer-Verlag GmbH, 1988. (Lecture Notes in Computer Science).