Alan Bundy
Alan Richard Bundy is a professor at the School of Informatics at the University of Edinburgh, known for his contributions to automated reasoning, especially to proof planning, the use of meta-level reasoning to guide proof search. Provided by Wikipedia
1
2
3
4
5
Published 1990
Other Authors:
“...Bundy, Alan...”
Book
6
Published 1983
Other Authors:
“...Bundy, Alan...”
Conference Proceeding
Book
7
Published 1994
Other Authors:
“...Bundy, Alan...”
Conference Proceeding
Book
8
Published 1978
Other Authors:
“...Bundy, Alan...”
Book
9
Published 1983
Other Authors:
“...Bundy, Alan...”
Conference Proceeding
Book
10
Published 2006
Other Authors:
“...Bundy, Alan...”
Book