Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy.
Saved in:
| Title: | Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy. |
|---|---|
| Authors: | Mol, Liesbeth De1, Matiyasevich, Yuri V2, Omodeo, Eugenio G3, Policriti, Alberto4, Sieg, Wilfried5, Weyuker, Elaine J6 |
| Source: | Philosophia Mathematica; Oct2025, Vol. 33 Issue 3, p425-450, 26p |
| Database: | Applied Science & Technology Source |
| ISSN: | 00318019 |
|---|---|
| DOI: | 10.1093/philmat/nkaf016 |