SIGNALER une erreur
EXPORTER les infos

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 .

Autre version

Cette thèse a donné lieu à une publication

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

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é Paris Cité - BU St-Germain-des-Prés. Direction générale déléguée aux bibliothèques et musées. Bibliothèque universitaire Saint-Germain-des-Prés.
  • 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.
  • Non disponible 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.

Consulter en bibliothèque

Cette thèse a donné lieu à une publication

Informations

  • Sous le titre : Automatisation du raisonnement et de la rédaction de preuves en géométrie de l'enseignement secondaire
  • Détails : 1 vol. (207 p.)
  • Annexes : Bibliogr. f. 129-132
La version de soutenance de cette thèse existe aussi sous forme papier.

Où se trouve cette thèse\u00a0?

Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.
ABES
A propos | Assistance | CGU | Données personnelles | Mentions légales | Accessibilité numérique