In Memory of Martin Davis.
| Autor: | Calvert, Wesley, Harizanov, Valentina, Omodeo, Eugenio G., Policriti, Alberto, Shlapentokh, Alexandra |
|---|---|
| Zdroj: | Notices of the American Mathematical Society; Aug2024, Vol. 71 Issue 7, p898-907, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|