la date de réponse | 2004 |
---|---|
langue originale | Français |
Superviseur | Naji Habra (Promoteur) |
Automatisation de la vérification d'une base de connaissances: apllication à l'interface Expert de CosmicXpert
Student thesis: Master types › Master en sciences informatiques