Edinburgh Research Explorer

The Use of Proof Plans to Sum Series

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

Standard

The Use of Proof Plans to Sum Series. / Walsh, T.; Nunes, A.; Bundy, Alan.

Automated Deduction - CADE-11: Lecture Notes in Artificial Intelligence. Vol. 607 Springer-Verlag GmbH, 1992.

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

Harvard

Walsh, T, Nunes, A & Bundy, A 1992, The Use of Proof Plans to Sum Series. in Automated Deduction - CADE-11: Lecture Notes in Artificial Intelligence. vol. 607, Springer-Verlag GmbH. DOI: 10.1007/3-540-55602-8

APA

Walsh, T., Nunes, A., & Bundy, A. (1992). The Use of Proof Plans to Sum Series. In Automated Deduction - CADE-11: Lecture Notes in Artificial Intelligence (Vol. 607). Springer-Verlag GmbH. DOI: 10.1007/3-540-55602-8

Vancouver

Walsh T, Nunes A, Bundy A. The Use of Proof Plans to Sum Series. In Automated Deduction - CADE-11: Lecture Notes in Artificial Intelligence. Vol. 607. Springer-Verlag GmbH. 1992. Available from, DOI: 10.1007/3-540-55602-8

Author

Walsh, T. ; Nunes, A. ; Bundy, Alan. / The Use of Proof Plans to Sum Series. Automated Deduction - CADE-11: Lecture Notes in Artificial Intelligence. Vol. 607 Springer-Verlag GmbH, 1992.