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

Documents on: design

PP22 1991 Paper in Conference Proceedings Lowe,H
the Use of Theorem Proving Techniques in Expert Systems for Configuration
RP823 1996 Research Paper Hesketh,J; Robertson,DS; Fuchs,N; Bundy,A
Automating Reasoning Support for Design

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