Edinburgh Research Explorer

Planning and Patching Proof

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

Standard

Planning and Patching Proof. / Bundy, Alan.

Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings. Vol. 3249 Springer-Verlag GmbH, 2004. p. 26-37 (Lecture Notes in Computer Science; Vol. 3249).

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

Harvard

Bundy, A 2004, Planning and Patching Proof. in Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings. vol. 3249, Lecture Notes in Computer Science, vol. 3249, Springer-Verlag GmbH, pp. 26-37. DOI: 10.1007/b100361

APA

Bundy, A. (2004). Planning and Patching Proof. In Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings (Vol. 3249, pp. 26-37). (Lecture Notes in Computer Science; Vol. 3249). Springer-Verlag GmbH. DOI: 10.1007/b100361

Vancouver

Bundy A. Planning and Patching Proof. In Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings. Vol. 3249. Springer-Verlag GmbH. 2004. p. 26-37. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/b100361

Author

Bundy, Alan. / Planning and Patching Proof. Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings. Vol. 3249 Springer-Verlag GmbH, 2004. pp. 26-37 (Lecture Notes in Computer Science).