Martin Davis
- Hilbert's Tenth Problem is Unsolvable
1973/03/01 by Martin Davis · 2 citations
Mathematics · #Analytic Number Theory Research #History and Theory of Mathematics #Mathematics and Applications
- Seventy Years of Computer Science
2020/01/01 by Martin Davis · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Software Testing and Debugging Techniques #Teaching and Learning Programming
- Hilbert's Tenth Problem is Unsolvable
1973/03/01 by Martin Davis · 1 citation
Computer Science · #Computability, Logic, AI Algorithms