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
fonction récursive
Il y a 40 résultats avec cette recherche.
-
-
2020 Tangente Hors-série. N° 76. p. 41-41. La preuve d’un programme.
Auteur : Lehning Hervé
-
2003 Tangente Hors-série. N° 15. Vol. 2. Logique et informatique.
Auteur : Cohen Gilles. Dir.
-
2021 Bibliothèque Tangente. N° 76. Programmer, c’est prouver. p. 104-105.
Auteur : Lehning Hervé
-
2004 Bibliothèque Tangente. N° 15. Calculabilité, décidabilité et complexité. p. 62-65.
Auteur : Tollu Christophe
-
2003 Tangente Hors-série. N° 15. Vol. 2. p. 10-12. Calculabilité, décidabilité et complexité.
Auteur : Tollu Christophe
-
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é
-
2003 Sciences Sup. Logique mathématique. V. 2.
Auteurs : Cori René ; Lascar Daniel
-
1993 Sciences Sup. Logique mathématique. V. 2.
Auteurs : Cori René ; Lascar Daniel ; Krivine Jean-Louis. Préf.
-
2012 Quadrature. N° 86. p. 17-28. Initiation à la calculabilité.
Auteur : Monniaux David
-
Auteurs : Turing Alan ; Girard Jean-Yves ; Basch Julien. Trad. ; Blanchard Patrice. Trad.
-
Auteurs : Turing Alan ; Girard Jean-Yves ; Basch Julien. Trad. ; Blanchard Patrice. Trad.
-