Philippe Roussel
Ph. D. Aix-Marseille Université 1972
Dissertation:
Définition et traitement de l'égalité formelle en démonstration automatique
Mathematics Subject Classification: 68—Computer science
Advisor 1: Alain Colmerauer
Student:
| Name | School | Year | Descendants |
|---|---|---|---|
| Rodriguez, Miguel | Aix-Marseille Université | 1978 |
According to our current on-line database, Philippe Roussel has 1 student and 1 descendant.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 288450 for the advisor ID.