Edinburgh Research Explorer

Tutorial notes: reasoning about logic programs

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

Standard

Tutorial notes: reasoning about logic programs. / Bundy, Alan.

Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings. Springer Berlin Heidelberg, 1992. p. 252-277 (Lecture Notes in Computer Science; Vol. 636).

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

Harvard

Bundy, A 1992, Tutorial notes: reasoning about logic programs. in Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings. Lecture Notes in Computer Science, vol. 636, Springer Berlin Heidelberg, pp. 252-277. https://doi.org/10.1007/3-540-55930-2_18

APA

Bundy, A. (1992). Tutorial notes: reasoning about logic programs. In Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings (pp. 252-277). (Lecture Notes in Computer Science; Vol. 636). Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-55930-2_18

Vancouver

Bundy A. Tutorial notes: reasoning about logic programs. In Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings. Springer Berlin Heidelberg. 1992. p. 252-277. (Lecture Notes in Computer Science). https://doi.org/10.1007/3-540-55930-2_18

Author

Bundy, Alan. / Tutorial notes: reasoning about logic programs. Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings. Springer Berlin Heidelberg, 1992. pp. 252-277 (Lecture Notes in Computer Science).