Liste fiches - Publimath

informatique théorique

Il y a 11 résultats pour cette recherche

2019 Bibliothèque Tangente. N° 33. Edition 2019. L'invraisemblable nombre Omega. p. 72-77.
Auteur : Delahaye Jean-Paul
2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 130-131.
Auteur : Nguyen Le Than Dung
2015 Bibliothèque Tangente. N° 55. Prouver rapidement qu'une propriété est vérifiée... ou pas. p. 132-133.
Auteur : Blanchard Nicolas K.
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
2013 Bibliothèque Tangente. N° 48. L'invraisemblable nombre Omega. p. 116-119.
Auteur : Delahaye Jean-Paul
2012 Tangente Hors-série. N° 48. p. 46-48. L'invraisemblable nombre Omega.
Auteur : Delahaye Jean-Paul
2008 Langages formels, calculabilité et complexité.
Auteurs : Carton Olivier ; Perrin Dominique. Préf.
2008 Bibliothèque Tangente. N° 33. L'invraisemblable nombre Omega. p. 72-77.
Auteur : Delahaye Jean-Paul
2008 Tangente Hors-série. N° 33. p. 14-17. L'invraisemblable nombre Omega.
Auteur : Delahaye Jean-Paul
2005 Mathématiques et Pédagogie. N° 153. p. 23-39. Trente ans de recherche opérationnelle et d'optimisation mathématique.
Auteur : Crama Yves
2002 Pour la Science. N° 295. p. 98-103. Les nombres oméga.
Auteur : Delahaye Jean-Paul