Mots-clés – Auteurs

problème de l’arrêt

Il y a 6 résultats pour cette recherche

2012 Quadrature. N° 86. p. 17-28. Initiation à la calculabilité.
Auteur : Monniaux David
2007 Les métamorphoses du calcul.
Auteur : Dowek Gilles
2005 Bibliothèque Tangente. N° 10. Mille ans d’histoire des mathématiques.
Auteur : Lehning Hervé. Dir.
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. Mille ans d’histoire des mathématiques.
Auteur : Lehning Hervé. Dir.
2000 Tangente Hors-série. N° 10. p. 32-35. La logique moderne : de Boole à Gödel.
Auteur : Casiro Francis