Martin Davis

Martin Davis (* 8. März 1928 in New York City; † 1. Januar 2023) war ein US-amerikanischer Logiker und theoretischer Informatiker. Veröffentlicht in Wikipedia
1
von Davis, Martin
Veröffentlicht 1994
Veröffentlicht 1994
Thư viện lưu trữ:
Trung tâm Học liệu Trường Đại học Cần Thơ
2
von Davis, Martin, 1928-
Veröffentlicht 1982
Veröffentlicht 1982
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
Table of contentsPublisher description