Edinburgh Research Explorer

Planning and Proof Planning

Research output: Contribution to conferencePaper

Standard

Planning and Proof Planning. / Melis, E.; Bundy, Alan.

1996. Paper presented at ECAI-96 Workshop on Cross-Fertilization in Planning, Budapest, Hungary.

Research output: Contribution to conferencePaper

Harvard

Melis, E & Bundy, A 1996, 'Planning and Proof Planning' Paper presented at ECAI-96 Workshop on Cross-Fertilization in Planning, Budapest, Hungary, 13/08/96, .

APA

Melis, E., & Bundy, A. (1996). Planning and Proof Planning. Paper presented at ECAI-96 Workshop on Cross-Fertilization in Planning, Budapest, Hungary.

Vancouver

Melis E, Bundy A. Planning and Proof Planning. 1996. Paper presented at ECAI-96 Workshop on Cross-Fertilization in Planning, Budapest, Hungary.

Author

Melis, E. ; Bundy, Alan. / Planning and Proof Planning. Paper presented at ECAI-96 Workshop on Cross-Fertilization in Planning, Budapest, Hungary.