Nom et prénom :
Pastre Dominique
Titre de la thèse :
MUSCADET, un système de démonstration automatique utilisant connaissances et métaconnaissances en mathématiques
Etablissement :
Université Paris VI
Période :
1984
Type de thèse :
Thèse d’état
Spécialité :
Informatique
