შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

Computability, Complexity, and Languages: Fundamentals of...

Main
Science (General)
Computability, Complexity, and...

Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science

Davis, Martin, Sigal, Ron, Weyuker, Elaine J

0 / 0

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

კატეგორია:

Science (General)

წელი:

1994

გამოცემა:

2nd ed

გამომცემლობა:

Elsevier Science;Academic Press, Harcourt, Brace

ენა:

english

ISBN 10:

0080502466

ISBN 13:

9780080502465

სერია:

Computer science and scientific computing

ფაილი:

AZW3 , 9.38 MB

IPFS:

,

english, 1994

ონლაინ წაკითხვა

ხორციელდება კონვერტაციის -ში

კონვერტაციის -ში ვერ მოხერხდა

შესაძლოა დაგაინტერესოთ

Nigel Cutland — Computability : An Introduction to Recursive Function Theory

Jean Gallier — Introduction to the Theory of Computation. Some Notes for CIS262

The Open Logic Project (anonymous collaboration) — Open Logic Text

Various authors — A Friendly Introduction to Mathematical Logic

（美）戴维斯（Davis，M.D.），（美）西加尔（Sigal，R.），（美）韦约克（Weyuker，E.J.）著 — 计算理论基础可计算性、复杂性和语言英文版第2版

Gallier J — Notes on formal languages, automata, computability, and complexity

E. Börger — Computability, complexity, logic

Martin Davis, Elaine J. Weyuker — Computability, Complexity and Languages: Fundamentals of Theoretical Computer Science

Davis M., Sigal R., Weyuker E. — Computability, complexity, and languages: Fundamentals of theoretical computer science

Ann Yasuhara — Recursive function theory and logic

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

Rene Lalement, John Plaice — Computation as logic

David Hopkin, Barbara Moss (auth.) — Automata

Cristian Calude (Eds.) — Theories of Computational Complexity

E. Boerger — Computability, Complexity, Logic

Martin Davis — Computability and unsolvability

— Computability and Logic Boolos

George S. Boolos, John P. Burgess, Richard C. Jeffrey — Computability and Logic

Nigel Cutland — Computability: an Introduction to Recursive Function Theory

Nigel Cutland — Computability: An Introduction to Recursive Function Theory

Daniel E. Cohen — Computability and Logic

George J. Tourlakis — Computability

Nigel Cutland — Computability

Sieg, Wilfried; Sommer, Richard; Talcott, Carolyn L et al. (eds.) — Reflections on the foundations of mathematics: essays in Honor of Solomon Feferman: lecture notes in logic 15

Elliott Mendelson (auth.) — Introduction to Mathematical Logic

Chiswell, Ian — A course in formal languages, automata and groups

Christopher C. Leary, Lars Kristiansen — A Friendly Introduction to Mathematical Logic

Christopher C. Leary, Lars Kristiansen — A Friendly Introduction to Mathematical Logic

George Tourlakis — Computability

Daniel Cunningham — Mathematical Logic: An Introduction

Daniel Cunningham — Mathematical Logic: An Introduction

Klaus Ambos-Spies (auth.), Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas (eds.) — Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

Boolos, Burgess, Jeffrey — Computability And Logic

Kozen, D. C. — Automata And Computability

საკვანძო ფრაზები