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

Documents on: automated reasoning

RP823 1996 Research Paper Hesketh,J; Robertson,DS; Fuchs,N; Bundy,A
Automating Reasoning Support for Design
RP910 1998 Research Paper Jamnik,M; Bundy,A; Green,I
On Automating Diagrammatic Proofs of Arithmetic Arguments
AB531 1990 Authored Book Owen,S
Analogy for Automated Reasoning
CB375 1989 Chapter in Edited Book Giunchiglia,F; Smaill,AD
Reflection in Constructive and Non Constructive Automated Reasoning

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