Automatisation du raisonnement et de la rédaction de preuves en géométrie de l'enseignement secondaire

par Jean-Pierre Spagnol

Thèse de doctorat en Informatique

Sous la direction de Dominique Pastre.

Soutenue en 2001

à Paris 5 .

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (207 p.)
  • Annexes : Bibliogr. f. 129-132

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Paris - Bibliothèque Saints-Pères Sciences (Paris). Service commun de la documentation. Bibliothèque Saints-Pères Sciences.
  • Consultable sur place dans l'établissement demandeur

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-2001-SPA
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.