Edinburgh Research Explorer

Proof Planning

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

Standard

Proof Planning. / Bundy, Alan.

Proceedings of the Third International Conference on Artificial Intelligence Planning Systems. AAAI Press, 1995.

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

Harvard

Bundy, A 1995, Proof Planning. in Proceedings of the Third International Conference on Artificial Intelligence Planning Systems. AAAI Press.

APA

Bundy, A. (1995). Proof Planning. In Proceedings of the Third International Conference on Artificial Intelligence Planning Systems AAAI Press.

Vancouver

Bundy A. Proof Planning. In Proceedings of the Third International Conference on Artificial Intelligence Planning Systems. AAAI Press. 1995.

Author

Bundy, Alan. / Proof Planning. Proceedings of the Third International Conference on Artificial Intelligence Planning Systems. AAAI Press, 1995.