Computability & unsolvability /
Gardado en:
| Autor Principal: | Davis, Martin, 1928- |
|---|---|
| Formato: | Sách giấy |
| Publicado: |
New York :
Dover,
1982
|
| Edición: | Dover ed |
| Series: | McGraw-Hill series in information processing and computers
|
| Những chủ đề: | |
| Acceso en liña: | Table of contents Publisher description |
| Các nhãn: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Títulos similares
-
Computability and logic
por: Boolos, George
Publicado: (2002) -
Robot dynamics algorithms
por: Featherstone, Roy
Publicado: (1987) -
Set theory and the continuum hypothesis /
por: Cohen, Paul J., 1934-2007.
Publicado: (1966) -
Introduction to languages and the theory of computation /
por: Martin, John C.
Publicado: (1997) -
Beyond two : theory and applications of multiple-valued logic /
Publicado: (2003)


