Imaxe de Portada

Elements of the theory of computation /

Show other versions (6)

Gardado en:

Detalles Bibliográficos
Autor Principal:	Lewis, Harry R
Outros autores:	Papadimitriou, Christos H
Formato:	Libro
Idioma:	inglés
Publicado:	New Jersey : Prentice-Hall c1981.
Edición:	2nd ed.
Subjects:	Machine theory Formal languages Computational complexity Logic, Symbolic and mathematical
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Títulos similares

Elements of the theory of computation /
por: Lewis, Harry R
Publicado: (1981)

Elements of the theory of computation /
por: Lewis, Harry R
Publicado: (1981)

Elements of the theory of computation /
por: Lewis, Harry R.
Publicado: (1989)

Elements of the theory of computation /
por: Lewis, Harry R.
Publicado: (1989)

Elements of the theory of computation /
por: Lewis, Harry R.
Publicado: (1989)

Elements of the Theory of Computation
por: Lewis, Harry R.
Publicado: (1998)

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

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

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

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

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

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

A Concise Introduction to Logic
por: Hurley
Publicado: (2006)

Symbolic Logic
por: Copi
Publicado: (1995)

Understanding Symbolic Logic
por: Klenk
Publicado: (2008)

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

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

Automata Theory And Formal Languages /
por: Kandar, Shyamalendu
Publicado: (2012)

Automata Theory And Formal Languages /
por: Kandar, Shyamalendu
Publicado: (2012)

Automata Theory And Formal Languages /
por: Kandar, Shyamalendu
Publicado: (2012)

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

Institution-independent Model Theory
por: Diaconescu, Răzvan
Publicado: (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 /
Publicado: (2024)

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

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

Logic and Set Theory /
por: Philip, N.
Publicado: (1979)

Set Theory
por: Chatterjee, P. N.
Publicado: (1995)

Set Theory
por: Chatterjee, P. N.
Publicado: (1993)

Theory and Problems of Set Theory and Related Topics
por: Lipschutz, Seymour
Publicado: (1964)

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

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

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

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

Essential Computer Mathematics
por: Lipschutz, Seymour
Publicado: (1982)

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

Theory of automata, formal languages and computation /
por: Xavier, Eugene S. P.
Publicado: (2005)

Theory of automata, formal languages and computation /
por: Xavier, Eugene S. P.
Publicado: (2005)

Theory of automata, formal languages and computation /
por: Xavier, Eugene S. P.
Publicado: (2005)

Introduction to Mathematical Logic / Introduction to Mathematical Logic
por: Church, Alonzo
Publicado: (1996)

Meaning and partiality/
por: Muskens, Reinhard
Publicado: (1995)