Thèmes – informatique
Editorial
-
Paru dans Mathématiques et sciences humaines, 169 | Printemps 2005
Article
-
Condorcet et L’art de former des tableaux historiques [Texte intégral]Paru dans Mathématiques et sciences humaines, 176 | Hiver 2006
-
La théorie des types et les systèmes informatiques de traitement de démonstrations mathématiques [Texte intégral]Paru dans Mathématiques et sciences humaines, 165 | Printemps 2004
-
Paru dans Mathématiques et sciences humaines, 148 | Hiver 1999
-
Paru dans Mathématiques et sciences humaines, 143 | Automne 1998
-
Paru dans Mathématiques et sciences humaines, 141 | Printemps 1998
-
Paru dans Mathématiques et sciences humaines, 139 | Automne 1997
-
Paru dans Mathématiques et sciences humaines, 139 | Automne 1997
-
Structures grammaticales dans le français mathématique : 1 [Texte intégral]Paru dans Mathématiques et sciences humaines, 138 | Été 1997
Compte-rendu
-
Pavel A. Pevzner, « Bio-informatique moléculaire : une approche algorithmique », trad. Delphine Hachez, Springer, Coll. Iris, 2006 [Texte intégral]Paru dans Mathématiques et sciences humaines, 179 | Automne 2007
-
Vijay V. Vazirani, "Approximation algorithms", Berlin-Heidelberg, Springer-Verlag, 2001 [Texte intégral]Paru dans Mathématiques et sciences humaines, 161 | Printemps 2003
-
J.-L Desalles, "L'ordinateur génétique", Paris, Hermès, 1996 [Texte intégral]Paru dans Mathématiques et sciences humaines, 139 | Automne 1997