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
Cover Image
Read Now

2
Published 1994
Springer Berlin Heidelberg
Other Authors: “...Bundy, Alan...”
Cover Image
Read Now

3
Published 1986
Springer Berlin Heidelberg
Other Authors: “...Bundy, Alan...”
Cover Image
Read Now

4
Published 1990
Springer Berlin Heidelberg
Other Authors: “...Bundy, Alan...”
Cover Image
Read Now

5
Published 1997
Springer Berlin Heidelberg
Other Authors: “...Bundy, Alan...”