Martin Davis on Computability, Computational Logic, and Mathematical Foundations by E. Omodeo and A. Policriti (eds.)
Crossref DOI link: https://doi.org/10.1007/s00283-018-9809-3
Published Online: 2018-05-23
Published Print: 2018-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
von Plato, Jan
Text and Data Mining valid from 2018-05-23
Article History
First Online: 23 May 2018