Alan Bundy
Alan Richard Bundy CBE FRS FRSE FREng 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.
academic advisor
doctoral advisor
doctoral student
Wikipage disambiguates
2012 New Year HonoursAI@50Bernard Meltzer (computer scientist)BundyConference on Automated DeductionEvoStarFrank van HarmelenHandbook of Automated ReasoningHerbrand AwardIJCAI Award for Research ExcellenceLincoln WallenList of University of Edinburgh peopleList of fellows of the Association for Computing MachineryList of fellows of the Royal Society A, B, CList of fellows of the Royal Society elected in 2012List of logiciansMartha PalmerMental ModelsReuben GoodsteinRipplingRod BurstallSimon ColtonToby Walsh
Link from a Wikipage to another Wikipage
academic advisors
doctoral advisor
doctoral students
primaryTopic
Alan Bundy
Alan Richard Bundy CBE FRS FRSE FREng 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.
has abstract
Alan Richard Bundy (* 18. Mai ...... der British Computer Society.
@de
Alan Richard Bundy CBE FRS FRS ...... asoning to guide proof search.
@en
Alan Richard Bundy, né le 18 m ...... ider la recherche de preuves .
@fr
ألان بندي (بالإنجليزية: Alan B ...... في ايزلورث في المملكة المتحدة.
@ar
academic discipline
alma mater
birth date
1947-05-18
birth name
Alan Richard Bundy
@en
birth place
doctoral advisor
doctoral student
residence
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,007,161,546
Link from a Wikipage to another Wikipage
alma mater
birth date
1947-05-18
birth name
Alan Richard Bundy
@en
birth place
doctoral advisor
doctoral students
field
name
Alan Bundy
@en
nationality
British
@en
prizes
@en
AAAI Fellow
@en
ACM Fellow
@en
Herbrand Award
@en
IJCAI Award
@en
residence
thesis title
The Metatheory of the Elementary Equation Calculus
@en
thesis url
thesis year
wikiPageUsesTemplate
work institutions
subject
hypernym
sameAs
comment
Alan Richard Bundy (* 18. Mai ...... matik (School of Informatics).
@de
Alan Richard Bundy CBE FRS FRS ...... asoning to guide proof search.
@en
Alan Richard Bundy, né le 18 m ...... ider la recherche de preuves .
@fr
ألان بندي (بالإنجليزية: Alan B ...... في ايزلورث في المملكة المتحدة.
@ar
label
Alan Bundy
@de
Alan Bundy
@en
Alan Bundy
@fr
ألان بندي
@ar
wasDerivedFrom
isPrimaryTopicOf
name
Alan Bundy
@en