Copertina

Elements of the theory of computation /

Mostra altre versioni (6)

Salvato in:

Dettagli Bibliografici
Autore principale:	Lewis, Harry R
Altri autori:	Papadimitriou, Christos H
Natura:	Libro
Lingua:	inglese
Pubblicazione:	New Jersey : Prentice-Hall c1981.
Edizione:	2nd ed.
Soggetti:	Machine theory Formal languages Computational complexity Logic, Symbolic and mathematical
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Elements of the theory of computation /
di: Lewis, Harry R
Pubblicazione: (1981)

Elements of the theory of computation /
di: Lewis, Harry R
Pubblicazione: (1981)

Elements of the theory of computation /
di: Lewis, Harry R.
Pubblicazione: (1989)

Elements of the theory of computation /
di: Lewis, Harry R.
Pubblicazione: (1989)

Elements of the theory of computation /
di: Lewis, Harry R.
Pubblicazione: (1989)

Elements of the Theory of Computation
di: Lewis, Harry R.
Pubblicazione: (1998)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
di: Hopcroft, John E.
Pubblicazione: (1979)

Introduction to automata theory, languages, and computation /
di: Hopcroft, John E.
Pubblicazione: (2001)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
di: Hopcroft, John E.
Pubblicazione: (1979)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
di: Hopcroft, John E.
Pubblicazione: (1979)

Introduction to automata theory, languages, and computation /
di: Hopcroft, John E.
Pubblicazione: (2001)

Introduction to automata theory, languages, and computation /
di: Hopcroft, John E.
Pubblicazione: (2001)

A Concise Introduction to Logic
di: Hurley
Pubblicazione: (2006)

Symbolic Logic
di: Copi
Pubblicazione: (1995)

Formal Logic : Its Scope and Limits /
di: Jeffrey, Richard C.
Pubblicazione: (1967)

Understanding Symbolic Logic
di: Klenk
Pubblicazione: (2008)

An Introduction to Theory of Computation An Algorithmic Approach /
di: Ogihara, Mitsunori
Pubblicazione: (2025)

Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
di: Hoffmann, Dirk W.
Pubblicazione: (2025)

Automata Theory And Formal Languages /
di: Kandar, Shyamalendu
Pubblicazione: (2012)

Automata Theory And Formal Languages /
di: Kandar, Shyamalendu
Pubblicazione: (2012)

Automata Theory And Formal Languages /
di: Kandar, Shyamalendu
Pubblicazione: (2012)

Institution-independent Model Theory
di: Diaconescu, Răzvan
Pubblicazione: (2025)

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
Pubblicazione: (2024)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
di: Farmer, William M.
Pubblicazione: (2023)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
di: Farmer, William M.
Pubblicazione: (2025)

Logic and Set Theory /
di: Philip, N.
Pubblicazione: (1979)

Set Theory
di: Chatterjee, P. N.
Pubblicazione: (1993)

Set Theory
di: Chatterjee, P. N.
Pubblicazione: (1995)

Theory and Problems of Set Theory and Related Topics
di: Lipschutz, Seymour
Pubblicazione: (1964)

Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings /
Pubblicazione: (2023)

Tractatus logico-philosophicus / tractatus logico philosophicus
di: ডরঃঃমবহংঃবরহ, খঁফরিম
Pubblicazione: (2001)

Schaum's outline of set theory and related topics /
di: Lipschutz, Seymour
Pubblicazione: (1981)

Schaum's outline of set theory and related topics
di: Lipschutz, Seymour
Pubblicazione: (1981)

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings /
Pubblicazione: (2025)

Essential Computer Mathematics
di: Lipschutz, Seymour
Pubblicazione: (1982)

Meaning and partiality/
di: Muskens, Reinhard
Pubblicazione: (1995)

Introduction to Mathematical Logic / Introduction to Mathematical Logic
di: Church, Alonzo
Pubblicazione: (1996)

Set Theory: and Related Topics
di: Spiegel, Murray R.
Pubblicazione: (1965)

Logic and Proof Techniques / Logic and Proof Techniques
di: Eberle, Rolf A.
Pubblicazione: (1996)

Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings /
Pubblicazione: (2025)