|
|
Edinburgh Research Archive >
Search Results
Results 11-20 of 78.
Item hits:
| Issue Date | Title | Author(s) | Supervisor(s) | | Apr-2010 | The AI4FM approach for proof automation within formal methods — A Grand Challenge 6 "Dependable Systems Evolution" project | Grov, Gudmund,; Bundy, Alan; Jones, Cliff B; Ireland, Andrew | - |
| Apr-1999 | A Survey of Automated Deduction | Bundy, Alan | - |
| Sep-1999 | Proofs About Lists Using Ellipsis | Bundy, Alan; Richardson, Julian | - |
| Apr-1999 | The Automation Of Proof By Mathematical Induction | Bundy, Alan | - |
| 1993 | Increasing the Versatility of Heuristic Based Theorem Provers | Bundy, Alan; Manning, A.; Ireland, A. | - |
| 1998 | System Description: an Interface Between CLAM and HOL | Alan, Bundy; Slind, K.; Gordon, M.; Boulton, R. | - |
| 1992 | Incidence Calculus | Bundy, Alan | - |
| Dec-2004 | An Automatic Translator from KIF to PDDL | McNeill, F.; Bundy, Alan; Walton, C. | - |
| 1984 | Intelligent Front Ends | Bundy, Alan | - |
| 1985 | Discovery and Reasoning in Mathematics | Bundy, Alan | - |
previous
1
2
3
4
5
6
7
8
next
|
