The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge


Publication Details:
Book: LOPSTR 95
Editors:MISSING
Book#: MISSING
Publisher:MISSING
Volume:MISSING
Pages: MISSING

Paper in Conference Proceedings #881

Title:Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs Under the Completion
Authors:Renault,S
Date:
Presented:
Keywords:








[Search These Pages] [DAI Home Page] [Comment]