Nguyen Le Than Dung

Il y a 3 résultats avec cette recherche.

2015 Bibliothèque Tangente. N° 55. Une preuve de maths est un programme informatique ! p. 138-142.

Auteurs : Nguyen Le Than Dung ; Ledent Jérémy
2015 Bibliothèque Tangente. N° 55. La théorie homotopique des types : de nouveaux fondements des mathématiques ? p. 120-127.

Auteurs : Nguyen Le Than Dung ; Ledent Jérémy
2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 130-131.

Auteur : Nguyen Le Than Dung