2011 De la méthode.
Auteur : Serfati Michel. Dir.
thèse de Church
Il y a 15 résultats avec cette recherche.
-
-
2007 Les métamorphoses du calcul.
Auteur : Dowek Gilles
-
1991 L’Ouvert. N° 65.
Auteur : IREM de Strasbourg L'Ouvert. Dir.
-
2011 De la méthode. Machines de Turing et complexité algorithmique. p. 179-212.
Auteur : Hudry Olivier
-
1999 Information, complexité et hasard.
Auteur : Delahaye Jean-Paul
-
1994 Information, complexité et hasard.
Auteur : Delahaye Jean-Paul
-
2004 Bibliothèque Tangente. N° 15. La logique.
Auteur : Cohen Gilles. Dir.
-
1991 L’Ouvert. N° 65. p. 18-26. Un retour aux origines du calculable – la thèse de Church / Post.
Auteurs : Cardon Alain ; Charras Christian ; Krob Daniel
-
2003 Tangente Hors-série. N° 15. Vol. 2. Logique et informatique.
Auteur : Cohen Gilles. Dir.
-
2003 Tangente Hors-série. N° 15. Vol. 2. p. 10-12. Calculabilité, décidabilité et complexité.
Auteur : Tollu Christophe
-
2004 Bibliothèque Tangente. N° 15. Calculabilité, décidabilité et complexité. p. 62-65.
Auteur : Tollu Christophe
-
1992 Le concept de suite aléatoire et la thèse de Church.
Auteur : Delahaye Jean-Paul