Universitaire
Alan Bundy
British artificial intelligence researcher (born 1947)
- Vie
- 1947 – présent
- Né(e) le
- 18 mai 1947
- Nationalité
- Royaume-Uni
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.
§Entrées associées
Universitaire
Carol Frieze
American computer scientist
1947 – présent · Royaume-Uni
Universitaire
Frances Grundy
British computer scientist
1942 – présent · Royaume-Uni
Universitaire
Geoffrey C. Fox
British computer scientist and physicist
1944 – présent · Royaume-Uni
Universitaire
Iain S. Duff
British mathematician and computer scientist
1947 – présent · Royaume-Uni