Martin Davis

Martin Davis (* 8. März 1928 in New York City; † 1. Januar 2023) war ein US-amerikanischer Logiker und theoretischer Informatiker.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.