| PP1158
| 1997 Paper in Conference Proceedings
| Boulton,R
|
| A Tool to Support Formal reasoning about Computer Languages
|
| PP1159
| 1997 Paper in Conference Proceedings
| Boulton,R; Bundy,A; Slind,A; Gordon,M
|
| A Prototype Interface between CLAM and HOL
|
| CB3
| 1991 Chapter in Edited Book
| Bundy,A
|
| the Use of Proof Plans for Normalization
|
| PP21
| 1991 Paper in Conference Proceedings
| Giunchiglia,F; Walsh,T
|
| Using Abstraction
|
| PP504
| 1990 Paper in Conference Proceedings
| Guinchiglia,F; Walsh,T
|
| the Use of Abstraction in Automatic Inference
|
| PP441
| 1990 Paper in Conference Proceedings
| Bundy,A; Smaill,AD; van Harmelen,F
|
| Extensions to the Rippling-out Tactic for Guiding Inductive Proofs
|
| RP644
| 1993 Research Paper
| Madden,P; Bundy,A
|
| General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving
|
| PP143
| 1992 Paper in Conference Proceedings
| Giunchiglia,G; Walsh,T
|
| Tree Subsumption: Reasoning with Outlines
|
| CB2
| 1991 Chapter in Edited Book
| Bundy,A
|
| a Science of Reasoning
|
| PP117
| 1992 Paper in Conference Proceedings
| Basin,D; Smaill,AD; Matthews,S
|
| Experience with FSo as a Framework Theory
|
| PP197
| 1993 Paper in Conference Proceedings
| Kraan,I; Bundy,A; Basin,D
|
| Logic Program Synthesis from Proof Planning
|
| PP376
| 1989 Paper in Conference Proceedings
| Giunchiglia,F; Walsh,T
|
| Abstract Theorem Proving
|
| PP118
| 1992 Paper in Conference Proceedings
| Basin,D; Walsh,T
|
| Difference Matching
|
| PP377
| 1989 Paper in Conference Proceedings
| Giunchiglia,F; Walsh,T
|
| Theorem Proving with Definitions
|
| JP28
| 1991 Journal Paper
| Bundy,A; van Harmelen,F; Hesketh,J; Smaill,AD
|
| Experiments with Proof Plans for Induction
|
| RP600
| 1992 Research Paper
| Bundy,A
|
| How to Solve it by Induction
|
| JP34
| 1991 Journal Paper
| Lowe,H
|
| Extending the Proof Plan Methodology to Computer Configuration
|
| CB187
| 1994 Chapter in Edited Book
| Walsh,T
|
| Creative Proof Planning
|
| AB531
| 1990 Authored Book
| Owen,S
|
| Analogy for 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}