Accueil Publimath  Aide à la recherche  Requête : "théorie des types de Martin-Löf"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
2 fiches trouvées

12011 Journée annuelle de la Société Mathématique de France. Vol. 24. Qu'est-ce qu'un nombre au hasard ?
22003 Calculs & formes. De l'activité mathématique.