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

Le site connaît actuellement d'importants dysfonctionnements techniques, merci de votre patience.

X