Tutorial notes: reasoning about logic programs

Alan Bundy

doi:10.1007/3-540-55930-2_18

Tutorial notes: reasoning about logic programs

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Logic Programming in Action
Subtitle of host publication	Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings
Publisher	Springer Berlin Heidelberg
Pages	252-277
Number of pages	26
ISBN (Electronic)	978-3-540-47312-1
ISBN (Print)	978-3-540-55930-6
DOIs	https://doi.org/10.1007/3-540-55930-2_18
Publication status	Published - 1992

Publication series

Name	Lecture Notes in Computer Science
Volume	636
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/3-540-55930-2_18

Full textAccepted author manuscript, 724 KB

http://link.springer.com/chapter/10.1007%2F3-540-55930-2_18

Cite this

@inproceedings{e27588e247d44e568aac4fb3adfd871c,

title = "Tutorial notes: reasoning about logic programs",

author = "Alan Bundy",

year = "1992",

doi = "10.1007/3-540-55930-2_18",

language = "English",

isbn = "978-3-540-55930-6",

series = "Lecture Notes in Computer Science",

publisher = "Springer Berlin Heidelberg",

pages = "252--277",

booktitle = "Logic Programming in Action",

}

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 proceeding › Conference contribution