Déduction automatique en calcul des durées basée sur la méthode des tableaux
FR
Auteur / Autrice : | Nathalie Chetcuti |
Direction : | Luis Fariñas del Cerro, Philippe Balbiani |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 2001 |
Etablissement(s) : | Toulouse 3 |
Mots clés
FR