Obituary of Martin Davis (1928–2023)

Alberto Policriti; Eugenio Omodeo; Liesbeth de Mol

doi:10.1109/MAHC.2023.3241532

Article Dans Une Revue IEEE Annals of the History of Computing Année : 2023

Obituary of Martin Davis (1928–2023)

, , (1, 2)

1
2

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

Dates et versions

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

Identifiants

HAL Id : hal-04199933 , version 1
DOI : 10.1109/MAHC.2023.3241532

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

10 Consultations

0 Téléchargements

Obituary of Martin Davis (1928–2023)

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager