Special issue of Philosophia Scientiae - Alan Turing - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Ouvrages Année : 2012

Special issue of Philosophia Scientiae - Alan Turing

Jack Copeland
  • Fonction : Auteur
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

Domaines

Logique en informatique [cs.LO]

Didier Galmiche  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01262634

Soumis le : mardi 26 janvier 2016-23:00:52

Dernière modification le : vendredi 24 mars 2023-14:53:01

Fichier non déposé

Dates et versions

hal-01262634 , version 1 (26-01-2016)

Identifiants

  • HAL Id : hal-01262634 , version 1

Citer

Jack Copeland, Didier Galmiche, Dominique Larchey-Wendling, Joseph Vidal-Rosset. Special issue of Philosophia Scientiae - Alan Turing. 16 (3), 2012. ⟨hal-01262634⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Partager

Gmail Facebook X LinkedIn More