Obituary of Martin Davis (1928–2023)  - Université de Lille
Article Dans Une Revue IEEE Annals of the History of Computing Année : 2023

Obituary of Martin Davis (1928–2023) 

Alberto Policriti
  • Fonction : Auteur
Eugenio Omodeo
  • Fonction : Auteur
Liesbeth de Mol
  • Fonction : Auteur
Centre National de la Recherche Scientifique
Savoirs, Textes, Langage (STL) - UMR 8163

Domaines

Sciences de l'Homme et Société Informatique [cs] Mathématiques [math]

Liesbeth De Mol  : Connectez-vous pour contacter le contributeur

https://hal.univ-lille.fr/hal-04199933

Soumis le : vendredi 8 septembre 2023-10:53:34

Dernière modification le : mercredi 5 juin 2024-10:26:18

Consulter le texte intégral

Dates et versions

hal-04199933 , version 1 (08-09-2023)

Identifiants

Citer

Alberto Policriti, Eugenio Omodeo, Liesbeth de Mol. Obituary of Martin Davis (1928–2023) . IEEE Annals of the History of Computing, 2023, 45 (1), pp.93-94. ⟨10.1109/MAHC.2023.3241532⟩. ⟨hal-04199933⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS STL UNIV-LILLE
15 Consultations
0 Téléchargements

Altmetric

Partager

More