Jacques Pitrat
Original record- Institution
- Université de Paris
- Year
- 1966
- Country
- France
- MGP identifier
- 159183
Dissertation: Réalisation de programmes de démonstration de théorèmes utilisant des méthodes heuristiques
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Jean André VilleInstitution not recorded
Students 7
| Name | Institution | Year | Students |
|---|---|---|---|
| Anne Adam | Université Pierre-et-Marie-Curie - Paris VI | 1973 | 1 |
| Bruno Bouzy | Université Pierre-et-Marie-Curie - Paris VI | 1995 | 0 |
| Tristan Cazenave | Université Pierre-et-Marie-Curie - Paris VI | 1996 | 0 |
| Marie-Odile Cordier | Not recorded | — | 4 |
| Mélanie Hilario | Not recorded | — | 3 |
| Jean-Pierre Laurent | Université Pierre-et-Marie-Curie - Paris VI | 1972 | 1 |
| Jean-Louis Laurière | Université Pierre-et-Marie-Curie - Paris VI | 1976 | 1 |