Activités pédagogiques

Activités pédagogiques

Derniers enseignements

Tous les enseignements (6)

2020- 2025: Géodynamique externe

2020- 2025: Métrologie et instrumentation

2020- 2025: Matière Première Minérale

2020- 2025: Système d'information géographique

2020- 2025: Opérations minières à ciel ouvert

Derniers encadrements

Tous les encadrements (1)

2015: Un systeme de types pragmatique pour la verification deductive des programmes