Computability & unsolvability /

QR code

Computability & unsolvability /

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Davis, Martin, 1928-
Formaat:	Sách giấy
Gepubliceerd in:	New York : Dover, 1982
Editie:	Dover ed
Reeks:	McGraw-Hill series in information processing and computers
Onderwerpen:	Computable functions Recursive functions. Unsolvability (Mathematical logic)
Online toegang:	Table of contents Publisher description
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Gelijkaardige items

Computability and logic
door: Boolos, George
Gepubliceerd in: (2002)

Robot dynamics algorithms
door: Featherstone, Roy
Gepubliceerd in: (1987)

Set theory and the continuum hypothesis /
door: Cohen, Paul J., 1934-2007.
Gepubliceerd in: (1966)

Introduction to languages and the theory of computation /
door: Martin, John C.
Gepubliceerd in: (1997)

Beyond two : theory and applications of multiple-valued logic /
Gepubliceerd in: (2003)

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

Introduction to languages and the theory of computation
door: John Martin
Gepubliceerd in: (2003)

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

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

Introduction to languages and the theory of computation /
door: Martin, John C.
Gepubliceerd in: (2011)

Green's functions and ordered exponentials
door: Fried, H. M.
Gepubliceerd in: (2002)

An Introduction to Modern Analysis
door: Montesinos, Vicente, et al.
Gepubliceerd in: (2015)

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

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

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

A Course on Topological Vector Spaces
door: Voigt, Jürgen
Gepubliceerd in: (2020)

Theory of Function Spaces IV
door: Triebel, Hans
Gepubliceerd in: (2020)

Orthogonal Polynomials
door: Foupouagnigni, Mama, et al.
Gepubliceerd in: (2020)

Introductory real analysis /
door: Kolmogorov, A. N. 1903-1987.
Gepubliceerd in: (1975)

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

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

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

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

Computer-assisted investigations on functional equations and convexity
door: Tô, Lan Nhi
Gepubliceerd in: (2025)

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

Applied functional analysis : applications to mathematical physics.
door: Zeidler, Eberhard.
Gepubliceerd in: (1995)

Finite dimensional convexity and optimization /
door: Florenzano, Monique.
Gepubliceerd in: (2001)

Differential Equations. 2nd ed. 2017
door: Constanda, Christian
Gepubliceerd in: (2020)

Elementary Analysis. 2nd ed.
door: Ross, Kenneth A.
Gepubliceerd in: (2020)

Trigonometric Sums and Their Applications
door: Raigorodskii, Andrei, et al.
Gepubliceerd in: (2020)

Quaternionic de Branges Spaces and Characteristic Operator Function
door: Alpay, Daniel, et al.
Gepubliceerd in: (2020)

Functions modeling change :
Gepubliceerd in: (2000)

Precalculus
door: Faires, J. Douglas
Gepubliceerd in: (2007)

Precalculus
door: Moran, Judith
Gepubliceerd in: (2003)

Essentials of precalculus
door: Aufmann, Richard N.
Gepubliceerd in: (2006)

Precalculus concepts in context
door: Moran, Judith Flagg
Gepubliceerd in: (2003)

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

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

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