Searching for authors named "Alan Bundy" – sorted by Relevance.
-
A survey of automated deduction
- Deduction by Alan Bundy Division of Informatics April 1999 http://www.informatics.ed.ac.uk/ A Survey
- Cited by 10 (0 self) – Add To MetaCart
-
Planning and patching proof
- Planning and Patching Proof ⋆ Alan Bundy School of Informatics, University of Edinburgh. A
- Cited by 3 (0 self) – Add To MetaCart
-
A Science of Reasoning: Extended Abstract
- A Science of Reasoning: Extended Abstract Alan Bundy Department of Arti cial Intelligence
- Cited by 3 (0 self) – Add To MetaCart
-
The Use of Explicit Plans to Guide Inductive Proofs
- The Use of Explicit Plans to Guide Inductive Proofs Alan Bundy DAI Research Paper No. Copyright (c
- Cited by 241 (33 self) – Add To MetaCart
-
A Science of Reasoning
- A Science of Reasoning Alan Bundy Department of Artificial Intelligence University of Edinburgh
- Cited by 68 (17 self) – Add To MetaCart
-
The Automation of Proof by Mathematical Induction
- CHAPTER ?? The Automation of Proof by Mathematical Induction Alan Bundy Department of Artificial
- Cited by 28 (3 self) – Add To MetaCart
-
The Use of Proof Plans for Normalization
- The Use of Proof Plans for Normalization Alan Bundy DAI Research Paper No. July 7, 1992
- Cited by 10 (4 self) – Add To MetaCart
-
Attacking Group Protocols
- Attacking Group Protocols by Refuting Incorrect Inductive Conjectures Graham Steel and Alan Bundy
- Add To MetaCart
-
Proofs about lists using ellipsis
- Proofs About Lists Using Ellipsis Alan Bundy and Julian Richardson ⋆ Institute for Representation
- Cited by 5 (0 self) – Add To MetaCart
-
Relational rippling: A general approach
- Relational Rippling: A General Approach * Alan Bundy a nd Vincent Lombart Department of Artificial
- Cited by 9 (2 self) – Add To MetaCart

