Mots-clés – Auteurs

informatique théorique

Il y a 17 résultats pour cette recherche

2019 Bibliothèque Tangente. N° 33. Edition 2019. Les nombres.
Auteur : Boulanger Philippe. Dir.
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. 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. 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. La démonstration automatique : un enjeu crucial. p. 130-131.
Auteur : Nguyen Le Than Dung
2015 Bibliothèque Tangente. N° 55. Les démonstrations.
Auteur : Cohen Gilles. Dir.
2013 Bibliothèque Tangente. N° 48. Ambassadeurs français des mathématiques.
Auteur : Cohen Gilles. Dir.
2013 Bibliothèque Tangente. N° 48. L’invraisemblable nombre Omega. p. 116-119.
Auteur : Delahaye Jean-Paul
2012 Tangente Hors-série. N° 48. Les ambassadeurs francophones des mathématiques.
Auteur : Cohen Gilles. Dir.
2012 Tangente Hors-série. N° 48. p. 46-48. L’invraisemblable nombre Omega.
Auteur : Delahaye Jean-Paul
2008 Tangente Hors-série. N° 33. p. 14-17. L’invraisemblable nombre Omega.
Auteur : Delahaye Jean-Paul
2008 Bibliothèque Tangente. N° 33. L’invraisemblable nombre Omega. p. 72-77.
Auteur : Delahaye Jean-Paul
2008 Langages formels, calculabilité et complexité.
Auteurs : Carton Olivier ; Perrin Dominique. Préf.
2008 Tangente Hors-série. N° 33. Nombres.
Auteur : Boulanger Philippe. Dir.
2008 Bibliothèque Tangente. N° 33. Les nombres.
Auteur : Boulanger Philippe. Dir.
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