Alan Bundy

vignette | droite | Alan Bundy. Alan Richard Bundy, né le , 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. Informations fournies par Wikipedia