Edinburgh Research Explorer

Logic Program Synthesis via Proof Planning

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

Standard

Logic Program Synthesis via Proof Planning. / Kraan, I.; Basin, D.; Bundy, Alan.

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992. Springer London, 1993. p. 1-14 (Workshops in Computing).

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

Harvard

Kraan, I, Basin, D & Bundy, A 1993, Logic Program Synthesis via Proof Planning. in Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992. Workshops in Computing, Springer London, pp. 1-14. https://doi.org/10.1007/978-1-4471-3560-9_1

APA

Kraan, I., Basin, D., & Bundy, A. (1993). Logic Program Synthesis via Proof Planning. In Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 (pp. 1-14). (Workshops in Computing). Springer London. https://doi.org/10.1007/978-1-4471-3560-9_1

Vancouver

Kraan I, Basin D, Bundy A. Logic Program Synthesis via Proof Planning. In Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992. Springer London. 1993. p. 1-14. (Workshops in Computing). https://doi.org/10.1007/978-1-4471-3560-9_1

Author

Kraan, I. ; Basin, D. ; Bundy, Alan. / Logic Program Synthesis via Proof Planning. Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992. Springer London, 1993. pp. 1-14 (Workshops in Computing).