Computability & unsolvability /

Mã QR

Computability & unsolvability /

Đã lưu trong:

书目详细资料
主要作者:	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)

On a computer program determining types of functional equations
由: Tô, Lan Nhi, et al.
出版: (2025)

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)

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)

Computer-assisted investigations on functional equations and convexity
由: Tô, Lan Nhi
出版: (2025)

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)