Edinburgh Research Explorer

Tutorial notes: reasoning about logic programs

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

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://link.springer.com/chapter/10.1007%2F3-540-55930-2_18
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
Pages252-277
Number of pages26
ISBN (Electronic)978-3-540-47312-1
ISBN (Print)978-3-540-55930-6
DOIs
StatePublished - 1992

Publication series

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

Download statistics

No data available

ID: 16426416