Searching for authors named "Alan Bundy" – sorted by Relevance.
112 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
