Martin Davis
Martin David Davis (ur. 8 marca 1928 w Nowym Jorku, zm. 1 stycznia 2023 w Berkeley) – amerykański matematyk znany z prac nad dziesiątym problemem Hilberta, opracowania procedury Davisa-Putnama, algorytmu DPLL i modelu maszyny Posta-Turinga. W 1950 ukończył studia na Uniwersytecie w Princeton, gdzie Alonzo Church był jego promotorem. Był profesorem emerytowanym Uniwersytetu Nowojorskiego. Źródło: Wikipedia
1
od Davis, Martin, 1928-
Wydane 1982
Wydane 1982
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
Table of contentsPublisher description
