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 |