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


Documents on: proof search

PP867 1994 Paper in Conference Proceedings Negere,S; Smaill,AD
Guiding Proof Search in Logical Frameworks with Rippling


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