Date of Award | 2004 |
---|---|
Original language | French |
Supervisor | Naji Habra (Supervisor) |
Automatisation de la vérification d'une base de connaissances: apllication à l'interface Expert de CosmicXpert
Student thesis: Master types › Master in Computer science