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
Published: 2006.
Superior document: Frontiers in artificial intelligence and applications ; v. 139
Links: Get full text