Search Results - Bundy, Alan
Alan Bundy
Alan Richard Bundy (born 18 May 1947) 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
Rob Milne a tribute to a pioneering AI scientist, entrepreneur and mountaineer /
Published 2006Other Authors: “…Bundy, Alan…”
An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
2
Rob Milne a tribute to a pioneering AI scientist, entrepreneur and mountaineer /
Published 2006Other Authors: “…Bundy, Alan…”
An electronic book accessible through the World Wide Web; click to view
Electronic eBook