Nom et prénom :
Balacheff Nicolas
Titre de la thèse :
Les graphes de démonstration : outil pour l’étude des démonstrations naturelles
Etablissement :
Université Grenoble
Période :
1978
Type de thèse :
Thèse de 3ème cycle
Spécialité :
Informatique
