Computability & unsolvability /

QR kȏd

Computability & unsolvability /

Spremljeno u:

Bibliografski detalji
Glavni autor:	Davis, Martin, 1928-
Format:	Sách giấy
Izdano:	New York : Dover, 1982
Izdanje:	Dover ed
Serija:	McGraw-Hill series in information processing and computers
Teme:	Computable functions Recursive functions. Unsolvability (Mathematical logic)
Online pristup:	Table of contents Publisher description
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

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

Similar Items

Computability and logic
od: Boolos, George
Izdano: (2002)

Robot dynamics algorithms
od: Featherstone, Roy
Izdano: (1987)

Set theory and the continuum hypothesis /
od: Cohen, Paul J., 1934-2007.
Izdano: (1966)

Introduction to languages and the theory of computation /
od: Martin, John C.
Izdano: (1997)

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

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

Introduction to languages and the theory of computation
od: John Martin
Izdano: (2003)

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

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

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

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

An Introduction to Modern Analysis
od: Montesinos, Vicente, i dr.
Izdano: (2015)

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

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

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

A Course on Topological Vector Spaces
od: Voigt, Jürgen
Izdano: (2020)

Theory of Function Spaces IV
od: Triebel, Hans
Izdano: (2020)

Orthogonal Polynomials
od: Foupouagnigni, Mama, i dr.
Izdano: (2020)

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

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

Theory of Semigroups and Applications. 1st ed. 2017
od: Sinha, Kalyan B., i dr.
Izdano: (2020)

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

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

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

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

Applied functional analysis : applications to mathematical physics.
od: Zeidler, Eberhard.
Izdano: (1995)

Finite dimensional convexity and optimization /
od: Florenzano, Monique.
Izdano: (2001)

Differential Equations. 2nd ed. 2017
od: Constanda, Christian
Izdano: (2020)

Elementary Analysis. 2nd ed.
od: Ross, Kenneth A.
Izdano: (2020)

Trigonometric Sums and Their Applications
od: Raigorodskii, Andrei, i dr.
Izdano: (2020)

Quaternionic de Branges Spaces and Characteristic Operator Function
od: Alpay, Daniel, i dr.
Izdano: (2020)

Functions modeling change :
Izdano: (2000)

Precalculus
od: Faires, J. Douglas
Izdano: (2007)

Precalculus
od: Moran, Judith
Izdano: (2003)

Essentials of precalculus
od: Aufmann, Richard N.
Izdano: (2006)

Precalculus concepts in context
od: Moran, Judith Flagg
Izdano: (2003)

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

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

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