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

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⟩
10 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More