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


Documents on: deduction

PP8 1991 Paper in Conference Proceedings Basin,D; Traverso,P; Giunchiglia,F
Automatic Meta-Theory Creation and System Extension
RP607 1992 Research Paper Bundy,A
'Semantic Procedure' is an Oxymoron


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