Computability & unsolvability /

Côd QR

Computability & unsolvability /

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
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:	Computable functions Recursive functions. Unsolvability (Mathematical logic)
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)

Gesammelte mathematische Werke und wissenschaftlicher Nachlass /
gan: Riemann, Georg Friedrich Bernhard, 1826-1866. [from old catalog]
Cyhoeddwyd: (1953)

Introduction to languages and the theory of computation
gan: John Martin
Cyhoeddwyd: (2003)

Introduction to languages and the theory of computation
gan: Martin, John C.

Introduction to languages and the theory of computation
gan: Martin, John C.

Introduction to languages and the theory of computation /
gan: Martin, John C.
Cyhoeddwyd: (2011)

Green's functions and ordered exponentials
gan: Fried, H. M.
Cyhoeddwyd: (2002)

An Introduction to Modern Analysis
gan: Montesinos, Vicente, et al.
Cyhoeddwyd: (2015)

Tuyển tập toán cấp 3
gan: Nguyễn Thế Hùng
Cyhoeddwyd: (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
gan: PHAN QUỐC KHÁNH
Cyhoeddwyd: (2000)

Giải tích hàm một biến
gan: Nguyễn, Cam
Cyhoeddwyd: (2000)

Giải tích hàm một biến
Cyhoeddwyd: (2003)

A Course on Topological Vector Spaces
gan: Voigt, Jürgen
Cyhoeddwyd: (2020)

Theory of Function Spaces IV
gan: Triebel, Hans
Cyhoeddwyd: (2020)

Orthogonal Polynomials
gan: Foupouagnigni, Mama, et al.
Cyhoeddwyd: (2020)

Introductory real analysis /
gan: Kolmogorov, A. N. 1903-1987.
Cyhoeddwyd: (1975)

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers /
Cyhoeddwyd: (2001)

Theory of Semigroups and Applications. 1st ed. 2017
gan: Sinha, Kalyan B., et al.
Cyhoeddwyd: (2020)

A unified approach to uniqueness, expansion, and approximation problems /
gan: Chang, Chiu-Cheng.
Cyhoeddwyd: (1994)

Boundary behavior of holomorphic functions of several complex variables /
gan: Stein, Elias M., 1931-
Cyhoeddwyd: (1972)

Computer-assisted investigations on functional equations and convexity
gan: Tô, Lan Nhi
Cyhoeddwyd: (2025)

Phương trình hàm
gan: Nguyễn Văn Mậu
Cyhoeddwyd: (1997)

Applied functional analysis : applications to mathematical physics.
gan: Zeidler, Eberhard.
Cyhoeddwyd: (1995)

Finite dimensional convexity and optimization /
gan: Florenzano, Monique.
Cyhoeddwyd: (2001)

Differential Equations. 2nd ed. 2017
gan: Constanda, Christian
Cyhoeddwyd: (2020)

Elementary Analysis. 2nd ed.
gan: Ross, Kenneth A.
Cyhoeddwyd: (2020)

Trigonometric Sums and Their Applications
gan: Raigorodskii, Andrei, et al.
Cyhoeddwyd: (2020)

Quaternionic de Branges Spaces and Characteristic Operator Function
gan: Alpay, Daniel, et al.
Cyhoeddwyd: (2020)

Functions modeling change :
Cyhoeddwyd: (2000)

Precalculus
gan: Faires, J. Douglas
Cyhoeddwyd: (2007)

Precalculus
gan: Moran, Judith
Cyhoeddwyd: (2003)

Essentials of precalculus
gan: Aufmann, Richard N.
Cyhoeddwyd: (2006)

Precalculus concepts in context
gan: Moran, Judith Flagg
Cyhoeddwyd: (2003)

Functions modeling change : a preparation for calculus /
Cyhoeddwyd: (2000)

Lý thuyết hàm số biến phức
gan: Trần Anh Bảo
Cyhoeddwyd: (1978)

Nhập môn giải phức
gan: Nguyễn Hữu Anh
Cyhoeddwyd: (1999)