Computability & unsolvability /

Mã QR

Computability & unsolvability /

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	Davis, Martin, 1928-
פורמט:	Sách giấy
יצא לאור:	New York : Dover, 1982
מהדורה:	Dover ed
סדרה:	McGraw-Hill series in information processing and computers
נושאים:	Computable functions Recursive functions. Unsolvability (Mathematical logic)
גישה מקוונת:	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)

Gesammelte mathematische Werke und wissenschaftlicher Nachlass /
מאת: Riemann, Georg Friedrich Bernhard, 1826-1866. [from old catalog]
יצא לאור: (1953)

Introduction to languages and the theory of computation
מאת: John Martin
יצא לאור: (2003)

Introduction to languages and the theory of computation
מאת: Martin, John C.

Introduction to languages and the theory of computation
מאת: Martin, John C.

Introduction to languages and the theory of computation /
מאת: Martin, John C.
יצא לאור: (2011)

Green's functions and ordered exponentials
מאת: Fried, H. M.
יצא לאור: (2002)

An Introduction to Modern Analysis
מאת: Montesinos, Vicente, et al.
יצא לאור: (2015)

Tuyển tập toán cấp 3
מאת: Nguyễn Thế Hùng
יצא לאור: (1982)

Toán chuyên đề: Hàm đặc biệt, biến đổi Laplace, giải tích Fourrier, phương trình đạo hàm riêng
מאת: PHAN QUỐC KHÁNH
יצא לאור: (2000)

Giải tích hàm một biến
מאת: Nguyễn, Cam
יצא לאור: (2000)

Giải tích hàm một biến
יצא לאור: (2003)

A Course on Topological Vector Spaces
מאת: Voigt, Jürgen
יצא לאור: (2020)

Theory of Function Spaces IV
מאת: Triebel, Hans
יצא לאור: (2020)

Orthogonal Polynomials
מאת: Foupouagnigni, Mama, et al.
יצא לאור: (2020)

Introductory real analysis /
מאת: Kolmogorov, A. N. 1903-1987.
יצא לאור: (1975)

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers /
יצא לאור: (2001)

Theory of Semigroups and Applications. 1st ed. 2017
מאת: Sinha, Kalyan B., et al.
יצא לאור: (2020)

A unified approach to uniqueness, expansion, and approximation problems /
מאת: Chang, Chiu-Cheng.
יצא לאור: (1994)

Boundary behavior of holomorphic functions of several complex variables /
מאת: Stein, Elias M., 1931-
יצא לאור: (1972)

Computer-assisted investigations on functional equations and convexity
מאת: Tô, Lan Nhi
יצא לאור: (2025)

Phương trình hàm
מאת: Nguyễn Văn Mậu
יצא לאור: (1997)

Applied functional analysis : applications to mathematical physics.
מאת: Zeidler, Eberhard.
יצא לאור: (1995)

Finite dimensional convexity and optimization /
מאת: Florenzano, Monique.
יצא לאור: (2001)

Differential Equations. 2nd ed. 2017
מאת: Constanda, Christian
יצא לאור: (2020)

Elementary Analysis. 2nd ed.
מאת: Ross, Kenneth A.
יצא לאור: (2020)

Trigonometric Sums and Their Applications
מאת: Raigorodskii, Andrei, et al.
יצא לאור: (2020)

Quaternionic de Branges Spaces and Characteristic Operator Function
מאת: Alpay, Daniel, et al.
יצא לאור: (2020)

Functions modeling change :
יצא לאור: (2000)

Precalculus
מאת: Faires, J. Douglas
יצא לאור: (2007)

Precalculus
מאת: Moran, Judith
יצא לאור: (2003)

Essentials of precalculus
מאת: Aufmann, Richard N.
יצא לאור: (2006)

Precalculus concepts in context
מאת: Moran, Judith Flagg
יצא לאור: (2003)

Functions modeling change : a preparation for calculus /
יצא לאור: (2000)

Lý thuyết hàm số biến phức
מאת: Trần Anh Bảo
יצא לאור: (1978)

Nhập môn giải phức
מאת: Nguyễn Hữu Anh
יצא לאור: (1999)