Accueil Publimath  Aide à la recherche  Requête : "proposition indécidable"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
27 fiches trouvées Début Précédent Réponses 21 à 27

212006 Tangente Hors-série. N° 25. Grands mathématiciens modernes.
222003 Pour la Science. CD-Rom. Intégrale 1996-2002.
232002 Le théorème de Gödel.Ressource en ligne
241999 A history of algorithms: From the pebble to the microchip.
251995 Histoire d'algorithmes. Du caillou à la puce. Vers un concept d'algorithme. p. 505-535.
261995 Histoire d'algorithmes. Du caillou à la puce.
271980 Le théorème de Gödel.