Division of Informatics
Forrest Hill & 80 South Bridge
| 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]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}