Alan Turing - Archive ouverte HAL
Ouvrages Année : 2012

Alan Turing

Jack Copeland
  • Fonction : Directeur scientifique
Food and Environment Research Agency
Didier Galmiche
  • Fonction : Directeur scientifique
  • PersonId : 746081
  • IdHAL : didier-galmiche
Logic, Proof Theory and Programming
Dominique Larchey-Wendling
Logic, Proof Theory and Programming
Joseph Vidal-Rosset
Laboratoire d'Histoire des Sciences et de Philosophie - Archives Henri Poincaré
CV

Mots clés

Turing Calculabilité

Domaines

Philosophie Logique [math.LO]

Joseph Vidal-Rosset  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01245182

Soumis le : mercredi 16 décembre 2015-18:56:01

Dernière modification le : vendredi 5 avril 2024-16:28:24

Fichier non déposé

Dates et versions

hal-01245182 , version 1 (16-12-2015)

Identifiants

  • HAL Id : hal-01245182 , version 1

Citer

Jack Copeland, Didier Galmiche, Dominique Larchey-Wendling, Joseph Vidal-Rosset (Dir.). Alan Turing. Jack Copeland; Didier Galmiche; Dominique Larchey-Wendling; Joseph Vidal-Rosset. , 2012, 9782841746033. ⟨hal-01245182⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA LPHSAHP HIPHISCITECH UNIV-LORRAINE LORIA LORIA-FM
165 Consultations
0 Téléchargements

Partager

More