Edinburgh Research Explorer

Middle-Out Reasoning for Logic Program Synthesis

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

Standard

Middle-Out Reasoning for Logic Program Synthesis. / Kraan, I.; Basin, D.; Bundy, Alan.

Proceedings of the Tenth International Conference on Logic Programming . MIT Press, 1993.

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

Harvard

Kraan, I, Basin, D & Bundy, A 1993, Middle-Out Reasoning for Logic Program Synthesis. in Proceedings of the Tenth International Conference on Logic Programming . MIT Press, Proceedings of the Tenth International Conference on Logic Programming June 21-24, 1993, Budapest, Hungary, 21/06/93.

APA

Kraan, I., Basin, D., & Bundy, A. (1993). Middle-Out Reasoning for Logic Program Synthesis. In Proceedings of the Tenth International Conference on Logic Programming MIT Press.

Vancouver

Kraan I, Basin D, Bundy A. Middle-Out Reasoning for Logic Program Synthesis. In Proceedings of the Tenth International Conference on Logic Programming . MIT Press. 1993

Author

Kraan, I. ; Basin, D. ; Bundy, Alan. / Middle-Out Reasoning for Logic Program Synthesis. Proceedings of the Tenth International Conference on Logic Programming . MIT Press, 1993.