( en | de | ru )

 

Disambiguation of "Mol, Liesbeth De"

Author of the publication

copydeleteadd this publication to your clipboard
Obituary of Martin Davis (1928-2023).

, , and . IEEE Ann. Hist. Comput., 45 (1): 93-94 (January 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Liesbeth König

Friederike Mol

Nuri Mol

Katarzyna Mol

Liesbeth Würkert

 

Other publications of authors with the same name

Logic, Programming, and Computer Science: Local Perspectives.. IEEE Ann. Hist. Comput., 43 (4): 5-9 (2021)Study of Limits of Solvability in Tag Systems.. MCU, volume 4664 of Lecture Notes in Computer Science, page 170-181. Springer, (2007)Looking for busy beavers. A socio-philosophical study of a computer-assisted proof.. FotFS, volume 32 of Studies in Logic, page 61-90. College Publications, (2008)What We Talk About When We Talk About Programs., , , , , , , , and . ITiCSE-WGR, page 117-164. ACM, (2022)Haskell before Haskell: an alternative lesson in practical logics of the ENIAC., , and . J. Log. Comput., 25 (4): 1011-1046 (2015)A Week-End Off: The First Extensive Number-Theoretical Computation on the ENIAC., and . CiE, volume 5028 of Lecture Notes in Computer Science, page 158-167. Springer, (2008)Obituary of Martin Davis (1928-2023)., , and . IEEE Ann. Hist. Comput., 45 (1): 93-94 (January 2023)Characterizing the Nature of Programs for educational purposes., , , , , , , , , and . ITiCSE (2), page 572-573. ACM, (2022)Haskell before Haskell: Curry's Contribution to Programming (1946-1950)., , and . CiE, volume 6158 of Lecture Notes in Computer Science, page 108-117. Springer, (2010)