2007 Les métamorphoses du calcul.
Auteur : Dowek Gilles
problème de l’arrêt
Il y a 6 résultats avec cette recherche.
-
-
2005 Bibliothèque Tangente. N° 10. La logique moderne : de Boole à Gödel. p. 46-51.
Auteur : Casiro Francis
-
2000 Tangente Hors-série. N° 10. p. 32-35. La logique moderne : de Boole à Gödel.
Auteur : Casiro Francis
-
2012 Quadrature. N° 86. p. 17-28. Initiation à la calculabilité.
Auteur : Monniaux David