2012 Tangente Hors-série. N° 48. Les ambassadeurs francophones des mathématiques.
Auteur : Cohen Gilles. Dir.
informatique théorique
Il y a 17 résultats avec cette recherche.
-
-
2013 Bibliothèque Tangente. N° 48. Ambassadeurs français des mathématiques.
Auteur : Cohen Gilles. Dir.
-
2019 Bibliothèque Tangente. N° 33. Edition 2019. Les nombres.
Auteur : Boulanger Philippe. Dir.
-
2008 Bibliothèque Tangente. N° 33. Les nombres.
Auteur : Boulanger Philippe. Dir.
-
2008 Tangente Hors-série. N° 33. Nombres.
Auteur : Boulanger Philippe. Dir.
-
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
-
2019 Bibliothèque Tangente. N° 33. Edition 2019. L’invraisemblable nombre Omega. p. 72-77.
Auteur : Delahaye Jean-Paul
-
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.
-
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 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.
-
Auteur : Crama Yves
-
2002 Pour la Science. N° 295. p. 98-103. Les nombres oméga.
Auteur : Delahaye Jean-Paul