APA (7th ed.) Citation

De Mol, L., Matiyasevich, Y. V., Omodeo, E. G., Policriti, A., Sieg, W., & Weyuker, E. J. (2025). Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy.

Chicago Style (17th ed.) Citation

De Mol, Liesbeth, Yuri V. Matiyasevich, Eugenio G. Omodeo, Alberto Policriti, Wilfried Sieg, and Elaine J. Weyuker. Martin Davis: An Overview of His Work in Logic, Computer Science, and Philosophy. 2025.

MLA (9th ed.) Citation

De Mol, Liesbeth, et al. Martin Davis: An Overview of His Work in Logic, Computer Science, and Philosophy. 2025.