Tutorial notes: reasoning about logic programs

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

Original languageEnglish
Title of host publicationLogic Programming in Action
Subtitle of host publicationSecond International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings
PublisherSpringer Berlin Heidelberg
Number of pages26
ISBN (Electronic)978-3-540-47312-1
ISBN (Print)978-3-540-55930-6
Publication statusPublished - 1992

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Cite this