Computability & unsolvability /
Wedi'i Gadw mewn:
| Prif Awdur: | Davis, Martin, 1928- |
|---|---|
| Fformat: | Sách giấy |
| Cyhoeddwyd: |
New York :
Dover,
1982
|
| Rhifyn: | Dover ed |
| Cyfres: | McGraw-Hill series in information processing and computers
|
| Pynciau: | |
| Mynediad Ar-lein: | Table of contents Publisher description |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Eitemau Tebyg
-
Computability and logic
gan: Boolos, George
Cyhoeddwyd: (2002) -
Robot dynamics algorithms
gan: Featherstone, Roy
Cyhoeddwyd: (1987) -
Set theory and the continuum hypothesis /
gan: Cohen, Paul J., 1934-2007.
Cyhoeddwyd: (1966) -
Introduction to languages and the theory of computation /
gan: Martin, John C.
Cyhoeddwyd: (1997) -
Beyond two : theory and applications of multiple-valued logic /
Cyhoeddwyd: (2003)


