Computability & unsolvability /
Gespeichert in:
| 1. Verfasser: | Davis, Martin, 1928- |
|---|---|
| Format: | Sách giấy |
| Veröffentlicht: |
New York :
Dover,
1982
|
| Ausgabe: | Dover ed |
| Schriftenreihe: | McGraw-Hill series in information processing and computers
|
| Schlagworte: | |
| Online Zugang: | Table of contents Publisher description |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Ähnliche Einträge
-
Computability and logic
von: Boolos, George
Veröffentlicht: (2002) -
Robot dynamics algorithms
von: Featherstone, Roy
Veröffentlicht: (1987) -
Set theory and the continuum hypothesis /
von: Cohen, Paul J., 1934-2007.
Veröffentlicht: (1966) -
Introduction to languages and the theory of computation /
von: Martin, John C.
Veröffentlicht: (1997) -
Beyond two : theory and applications of multiple-valued logic /
Veröffentlicht: (2003)


