Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024 Về việc thu tiền

Computability Theory: An Introduction

Main
Mathematics
Computability Theory: An Introduction

Computability Theory: An Introduction

Neil D. Jones

0 / 0

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

Thể loại:

Năm:

1973

Nhà xuát bản:

Academic Press

Ngôn ngữ:

english

Trang:

166

ISBN 10:

1483205053

ISBN 13:

9781483205052

File:

PDF, 6.79 MB

IPFS:

,

english, 1973

Đọc online

Hoàn thành chuyển đổi thành trong

Chuyển đổi thành không thành công

Có thể bạn quan tâm

Herbert B. Enderton — Computability Theory: An Introduction to Recursion Theory

Nigel Cutland — Computability : An Introduction to Recursive Function Theory

Per Martin-Löf — Notes on Constructive Mathematics

Michael O. Rabin — Effective computability of winning strategies

Avigad J. — Computability and incompleteness. Lecture notes

Avigad J. — Computability and Incompleteness

Enderton H.B. — A mathematical introduction to logic

Enderton H. — Computability theory: An introduction to recursion theory

Neil D. Jones and Robert L. Ashenhurst (Auth.) — Computability Theory. An Introduction

Ann Yasuhara — Recursive function theory and logic

Mallozzi J.S., De Lillo N.J. — Computability with PASCAL

Grzegorz Rozenberg and Arto Salomaa — Cornerstones of undecidability

Desconocido — New Computational Paradigms Changing Conceptions Of What Is Computable

Edward R. Griffor (ed.) — Handbook of Computability Theory

Martin Davis — Computability and unsolvability

S. Barry Cooper, John K. Truss — Models and Computability: Invited Papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Nigel Cutland — Computability: an Introduction to Recursive Function Theory

Nigel Cutland — Computability: An Introduction to Recursive Function Theory

S. Barry Cooper, John K. Truss — Models and computability: Invited papers from Logic Colloquium ’97

Daniel E. Cohen — Computability and Logic

N. K. Vereshchagin, A. Shen — Computable functions

Rod Downey — Turing's Legacy: Developments from Turing's Ideas in Logic

Nigel Cutland — Computability

Andrew Hodges (auth.), S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.) — New Computational Paradigms: Changing Conceptions of What is Computable

S. Barry Cooper, Sergey S. Goncharov (auth.) — Computability and Models: Perspectives East and West

Yuri L. Ershov, Sergey Goncharov — Constructive Models

Klaus Weihrauch — Computability

Anatolii Ivanovič Mal’cev — Algorithms and recursive functions

Từ khóa thường sử dụng nhất