academic advisor
doctoral advisor
doctoral student
Wikipage disambiguates
primaryTopic
has abstract
Alan Richard Bundy, CBE, FRS, ...... asoning to guide proof search.
@en
alma mater
award
birth date
1947-05-18
birth name
Alan Richard Bundy
@en
birth place
doctoral advisor
doctoral student
field
residence
thumbnail
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
744,882,574
nationality
thesis title
The Metatheory of the Elementary Equation Calculus
thesis year
Website
work institutions
description
British artificial intelligence researcher
@en
subject
hypernym
comment
Alan Richard Bundy, CBE, FRS, ...... asoning to guide proof search.
@en
label
Alan Bundy
@en
wasDerivedFrom
depiction
gender
male
@en
givenName
Alan
@en
homepage
isPrimaryTopicOf
name
Alan Bundy
@en
surname
Bundy
@en