Computability & unsolvability /
Gorde:
| Egile nagusia: | Davis, Martin, 1928- |
|---|---|
| Formatua: | Sách giấy |
| Argitaratua: |
New York :
Dover,
1982
|
| Edizioa: | Dover ed |
| Saila: | McGraw-Hill series in information processing and computers
|
| Gaiak: | |
| Sarrera elektronikoa: | Table of contents Publisher description |
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Antzeko izenburuak
-
Computability and logic
nork: Boolos, George
Argitaratua: (2002) -
Robot dynamics algorithms
nork: Featherstone, Roy
Argitaratua: (1987) -
Set theory and the continuum hypothesis /
nork: Cohen, Paul J., 1934-2007.
Argitaratua: (1966) -
Introduction to languages and the theory of computation /
nork: Martin, John C.
Argitaratua: (1997) -
Beyond two : theory and applications of multiple-valued logic /
Argitaratua: (2003)


