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


Documents on: verification

RP602 1992 Research Paper Bundy,A
Tutorial Notes: Reasoning About Logic Programs


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