rdfs:comment
| - ألان بندي (بالإنجليزية: Alan Bundy) هو عالم حاسوب بريطاني، ولد في 18 مايو 1947 في ايزلورث في المملكة المتحدة. (ar)
- 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. (en)
- Alan Richard Bundy, né le 18 mai 1947, récompensé par un CBE, Fellow of the Royal Society, FRSE, (en), est professeur à l'École des sciences informatiques de l'Université d'Édimbourg, connu pour ses contributions au raisonnement automatisé, en particulier à la planification des preuves, l'utilisation du raisonnement au méta-niveau pour guider la recherche de preuves . (fr)
- Alan Richard Bundy (* 18. Mai 1947 in Isleworth) ist ein britischer Informatiker und Logiker. Er befasst sich mit Maschinengestütztem Beweisen. Bundy wurde 1971 an der University of Leicester bei Reuben Goodstein promoviert (The Metatheory of the Elementary Equation Calculus). Ab 1971 war er an der Universität Edinburgh zunächst in der Gruppe für automatische Beweise von Bernard Meltzer. 1973 wurde er Lecturer, 1984 Reader, 1987 Professorial Fellow und 1990 Professor. 1998 bis 2001 war er dort Leiter der Abteilung Informatik (School of Informatics). (de)
|