Computability & unsolvability /
Sparad:
| Huvudupphovsman: | Davis, Martin, 1928- |
|---|---|
| Materialtyp: | Sách giấy |
| Publicerad: |
New York :
Dover,
1982
|
| Upplaga: | Dover ed |
| Serie: | McGraw-Hill series in information processing and computers
|
| Ämnen: | |
| Länkar: | Table of contents Publisher description |
| Taggar: |
Lägg till en tagg
Inga taggar, Lägg till första taggen!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Liknande verk
-
Computability and logic
av: Boolos, George
Publicerad: (2002) -
Robot dynamics algorithms
av: Featherstone, Roy
Publicerad: (1987) -
Set theory and the continuum hypothesis /
av: Cohen, Paul J., 1934-2007.
Publicerad: (1966) -
Introduction to languages and the theory of computation /
av: Martin, John C.
Publicerad: (1997) -
Beyond two : theory and applications of multiple-valued logic /
Publicerad: (2003)


