thesis

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

Defense date:

Jan. 1, 2001

Edit

Institution:

Paris 5

Disciplines:

Computer sciences

Authors:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

Pas de résumé disponible.