Knowledge Tree

researcher / Jean-Pierre Spagnol

Jean-Pierre Spagnol

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

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