Journey — Martin Davis

Profile

Martin Davis: born 1928; died 2024; New York, USA.

Related theorems

• Davis–Putnam algorithm

Pages

• Person: Martin Davis
• Journey: Martin Davis
• Transcripts: Martin Davis

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People