Computability & unsolvability /
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Sách giấy |
| Được phát hành: |
New York :
Dover,
1982
|
| Phiên bản: | Dover ed |
| Loạt: | McGraw-Hill series in information processing and computers
|
| Những chủ đề: | |
| Truy cập trực tuyến: | Table of contents Publisher description |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
| LEADER | 01407nam a2200421 4500 | ||
|---|---|---|---|
| 001 | DLU050048272 | ||
| 005 | ##20050823 | ||
| 008 | ##820429r19821958nyu b 001 0 eng | ||
| 010 | # | # | |a 82007287 |
| 020 | # | # | |a 0486614719 (pbk.) |
| 035 | # | # | |9 (DLC) 82007287 |
| 040 | # | # | |a DLC |c DLC |d DLC |
| 050 | # | # | |a QA9.615 |b .D38 1982 |
| 082 | # | # | |a 511.3 |b DA-M |
| 100 | # | # | |a Davis, Martin, |d 1928- |
| 245 | # | # | |a Computability & unsolvability / |c Martin Davis |
| 250 | # | # | |a Dover ed |
| 260 | # | # | |a New York : |b Dover, |c 1982 |
| 300 | # | # | |a xxv, 248 p. ; |c 22 cm |
| 500 | # | # | |a Includes index |
| 500 | # | # | |a Reprint. Originally published: New York : (McGraw-Hill, 1958. McGraw-Hill series in information processing and computers. With new pref. and appendix) |
| 504 | # | # | |a Bibliography: p. 237-241 |
| 650 | # | # | |a Computable functions |
| 650 | # | # | |a Recursive functions. |
| 650 | # | # | |a Unsolvability (Mathematical logic) |
| 830 | # | # | |a McGraw-Hill series in information processing and computers |
| 856 | # | # | |3 Table of contents |u http://www.loc.gov/catdir/toc/dover031/82007287.html |
| 856 | # | # | |3 Publisher description |u http://www.loc.gov/catdir/description/dover032/82007287.html |
| 923 | # | # | |a 20/2005 |
| 992 | # | # | |a 5.600 |
| 994 | # | # | |a DLU |
| 900 | # | # | |a True |
| 911 | # | # | |a Đào Thị Thu Huyền |
| 925 | # | # | |a G |
| 926 | # | # | |a A |
| 927 | # | # | |a SH |
| 980 | # | # | |a Thư viện Trường Đại học Đà Lạt |