| dbo:abstract
|
- 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, 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)
|
| rdfs:comment
|
- 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, 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)
|
