Computability & unsolvability /
Spremljeno u:
| Glavni autor: | Davis, Martin, 1928- |
|---|---|
| Format: | Sách giấy |
| Izdano: |
New York :
Dover,
1982
|
| Izdanje: | Dover ed |
| Serija: | McGraw-Hill series in information processing and computers
|
| Teme: | |
| Online pristup: | Table of contents Publisher description |
| Oznake: |
Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Similar Items
-
Computability and logic
od: Boolos, George
Izdano: (2002) -
Robot dynamics algorithms
od: Featherstone, Roy
Izdano: (1987) -
Set theory and the continuum hypothesis /
od: Cohen, Paul J., 1934-2007.
Izdano: (1966) -
Introduction to languages and the theory of computation /
od: Martin, John C.
Izdano: (1997) -
Beyond two : theory and applications of multiple-valued logic /
Izdano: (2003)


