Edinburgh Research Explorer

Increasing the Versatility of Heuristic Based Theorem Provers

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

Standard

Increasing the Versatility of Heuristic Based Theorem Provers. / Manning, A.; Ireland, A.; Bundy, Alan.

LPAR '93 Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning. Vol. Lecture Notes in Artificial Intelligence No. 698 Springer-Verlag GmbH, 1993.

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

Harvard

Manning, A, Ireland, A & Bundy, A 1993, Increasing the Versatility of Heuristic Based Theorem Provers. in LPAR '93 Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning. vol. Lecture Notes in Artificial Intelligence No. 698, Springer-Verlag GmbH.

APA

Manning, A., Ireland, A., & Bundy, A. (1993). Increasing the Versatility of Heuristic Based Theorem Provers. In LPAR '93 Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning (Vol. Lecture Notes in Artificial Intelligence No. 698). Springer-Verlag GmbH.

Vancouver

Manning A, Ireland A, Bundy A. Increasing the Versatility of Heuristic Based Theorem Provers. In LPAR '93 Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning. Vol. Lecture Notes in Artificial Intelligence No. 698. Springer-Verlag GmbH. 1993.

Author

Manning, A. ; Ireland, A. ; Bundy, Alan. / Increasing the Versatility of Heuristic Based Theorem Provers. LPAR '93 Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning. Vol. Lecture Notes in Artificial Intelligence No. 698 Springer-Verlag GmbH, 1993.