Accueil Publimath  Aide à la recherche  Requête : auteur="Nguyen Le Than Dung"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
3 fiches trouvées

12015 Bibliothèque Tangente. Num. 55. La démonstration automatique : un enjeu crucial. p. 130-131.
22015 Bibliothèque Tangente. Num. 55. Une preuve de maths est un programme informatique ! p. 138-142.
32015 Bibliothèque Tangente. Num. 55. La théorie homotopique des types : de nouveaux fondements des mathématiques ? p. 120-127.