Computability & unsolvability /
Na minha lista:
| Autor principal: | Davis, Martin, 1928- |
|---|---|
| Formato: | Sách giấy |
| Publicado em: |
New York :
Dover,
1982
|
| Edição: | Dover ed |
| Colecção: | McGraw-Hill series in information processing and computers
|
| Assuntos: | |
| Acesso em linha: | Table of contents Publisher description |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Registos relacionados
-
Computability and logic
Por: Boolos, George
Publicado em: (2002) -
Robot dynamics algorithms
Por: Featherstone, Roy
Publicado em: (1987) -
Set theory and the continuum hypothesis /
Por: Cohen, Paul J., 1934-2007.
Publicado em: (1966) -
Introduction to languages and the theory of computation /
Por: Martin, John C.
Publicado em: (1997) -
Beyond two : theory and applications of multiple-valued logic /
Publicado em: (2003)


