2014 Bibliothèque Tangente. N° 52. Mathématiques et informatique.
Auteur : Cohen Gilles. Dir.
Il y a 19 résultats avec cette recherche.
2012 Bibliothèque Tangente. N° 43. Mathématiques et chimie.
Auteur : Cohen Gilles. Dir.
2006 Bibliothèque Tangente. N° 13. L’Infini.
Auteur : Casiro Francis. Dir.
2012 Tangente Hors-série. N° 43. Mathématiques et chimie.
Auteur : Cohen Gilles. Dir.
2020 Histoires de Mathématiques. Logique. L’antre des nymphes.
Auteur : Ycart Bernard
2020 Histoires de Mathématiques. Logique. Dialogue du cheval blanc.
Auteur : Ycart Bernard
2011 TOUT.
Auteur : Delahaye Jean-Paul
2010 Logicomix.
Auteurs : Doxiadis Apostolos ; Papadimitriou Christos ; Di Donna Annie ; Papadatos Alecos ; Staines Geoff. Dir. ; Dauzat Pierre-Emmanuel. Trad.
2014 Tangente Hors-série. N° 52. p. 26-27. Langages et récursivité.
Auteur : Lehning Hervé
2014 Bibliothèque Tangente. N° 52. Langages et récursivité. p. 48-51.
Auteur : Lehning Hervé
2015 Tangente Hors-série. N° 55. p. 18-20. Les limites de la preuve.
Auteur : Lehning Hervé
2012 Tangente Hors-série. N° 43. p. 54-54. Jeux et problèmes.
Auteur : Zalmanski Alain
2012 Bibliothèque Tangente. N° 43. Jeux et problèmes. p. 151-151.
Auteur : Zalmanski Alain
2015 Bibliothèque Tangente. N° 55. Les limites de la preuve. p. 30-31.
Auteur : Lehning Hervé
2000 Tangente Sup. N° 10. p. 4-8. Improuvable mais vrai.
Auteur : Lehning Hervé