Computability & unsolvability /
שמור ב:
| מחבר ראשי: | Davis, Martin, 1928- |
|---|---|
| פורמט: | Sách giấy |
| יצא לאור: |
New York :
Dover,
1982
|
| מהדורה: | Dover ed |
| סדרה: | McGraw-Hill series in information processing and computers
|
| נושאים: | |
| גישה מקוונת: | Table of contents Publisher description |
| תגים: |
הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
פריטים דומים
-
Computability and logic
מאת: Boolos, George
יצא לאור: (2002) -
Robot dynamics algorithms
מאת: Featherstone, Roy
יצא לאור: (1987) -
Set theory and the continuum hypothesis /
מאת: Cohen, Paul J., 1934-2007.
יצא לאור: (1966) -
Introduction to languages and the theory of computation /
מאת: Martin, John C.
יצא לאור: (1997) -
Beyond two : theory and applications of multiple-valued logic /
יצא לאור: (2003)


