Elements of the theory of computation /
Guardat en:
| Autor principal: | |
|---|---|
| Altres autors: | |
| Format: | Llibre |
| Idioma: | anglès |
| Publicat: |
New Jersey :
Prentice-Hall
c1981.
|
| Edició: | 2nd ed. |
| Matèries: | |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars
Elements of the theory of computation /
per: Lewis, Harry R
Publicat: (1981)
per: Lewis, Harry R
Publicat: (1981)
Elements of the theory of computation /
per: Lewis, Harry R
Publicat: (1981)
per: Lewis, Harry R
Publicat: (1981)
Elements of the theory of computation /
per: Lewis, Harry R.
Publicat: (1989)
per: Lewis, Harry R.
Publicat: (1989)
Elements of the theory of computation /
per: Lewis, Harry R.
Publicat: (1989)
per: Lewis, Harry R.
Publicat: (1989)
Elements of the theory of computation /
per: Lewis, Harry R.
Publicat: (1989)
per: Lewis, Harry R.
Publicat: (1989)
Elements of the Theory of Computation
per: Lewis, Harry R.
Publicat: (1998)
per: Lewis, Harry R.
Publicat: (1998)
INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
per: Hopcroft, John E.
Publicat: (1979)
per: Hopcroft, John E.
Publicat: (1979)
Introduction to automata theory, languages, and computation /
per: Hopcroft, John E.
Publicat: (2001)
per: Hopcroft, John E.
Publicat: (2001)
INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
per: Hopcroft, John E.
Publicat: (1979)
per: Hopcroft, John E.
Publicat: (1979)
Introduction to automata theory, languages, and computation /
per: Hopcroft, John E.
Publicat: (2001)
per: Hopcroft, John E.
Publicat: (2001)
INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
per: Hopcroft, John E.
Publicat: (1979)
per: Hopcroft, John E.
Publicat: (1979)
Introduction to automata theory, languages, and computation /
per: Hopcroft, John E.
Publicat: (2001)
per: Hopcroft, John E.
Publicat: (2001)
A Concise Introduction to Logic
per: Hurley
Publicat: (2006)
per: Hurley
Publicat: (2006)
Symbolic Logic
per: Copi
Publicat: (1995)
per: Copi
Publicat: (1995)
An Introduction to Theory of Computation An Algorithmic Approach /
per: Ogihara, Mitsunori
Publicat: (2025)
per: Ogihara, Mitsunori
Publicat: (2025)
Understanding Symbolic Logic
per: Klenk
Publicat: (2008)
per: Klenk
Publicat: (2008)
Formal Logic : Its Scope and Limits /
per: Jeffrey, Richard C.
Publicat: (1967)
per: Jeffrey, Richard C.
Publicat: (1967)
Automata Theory And Formal Languages /
per: Kandar, Shyamalendu
Publicat: (2012)
per: Kandar, Shyamalendu
Publicat: (2012)
Automata Theory And Formal Languages /
per: Kandar, Shyamalendu
Publicat: (2012)
per: Kandar, Shyamalendu
Publicat: (2012)
Automata Theory And Formal Languages /
per: Kandar, Shyamalendu
Publicat: (2012)
per: Kandar, Shyamalendu
Publicat: (2012)
Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
per: Hoffmann, Dirk W.
Publicat: (2025)
per: Hoffmann, Dirk W.
Publicat: (2025)
Institution-independent Model Theory
per: Diaconescu, Răzvan
Publicat: (2025)
per: Diaconescu, Răzvan
Publicat: (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 /
Publicat: (2024)
Publicat: (2024)
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
per: Farmer, William M.
Publicat: (2023)
per: Farmer, William M.
Publicat: (2023)
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
per: Farmer, William M.
Publicat: (2025)
per: Farmer, William M.
Publicat: (2025)
Logic and Set Theory /
per: Philip, N.
Publicat: (1979)
per: Philip, N.
Publicat: (1979)
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings /
Publicat: (2023)
Publicat: (2023)
Set Theory
per: Chatterjee, P. N.
Publicat: (1993)
per: Chatterjee, P. N.
Publicat: (1993)
Set Theory
per: Chatterjee, P. N.
Publicat: (1995)
per: Chatterjee, P. N.
Publicat: (1995)
Theory and Problems of Set Theory and Related Topics
per: Lipschutz, Seymour
Publicat: (1964)
per: Lipschutz, Seymour
Publicat: (1964)
Theory of automata, formal languages and computation /
per: Xavier, Eugene S. P.
Publicat: (2005)
per: Xavier, Eugene S. P.
Publicat: (2005)
Theory of automata, formal languages and computation /
per: Xavier, Eugene S. P.
Publicat: (2005)
per: Xavier, Eugene S. P.
Publicat: (2005)
Theory of automata, formal languages and computation /
per: Xavier, Eugene S. P.
Publicat: (2005)
per: Xavier, Eugene S. P.
Publicat: (2005)
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings /
Publicat: (2025)
Publicat: (2025)
Schaum's outline of set theory and related topics /
per: Lipschutz, Seymour
Publicat: (1981)
per: Lipschutz, Seymour
Publicat: (1981)
Schaum's outline of set theory and related topics
per: Lipschutz, Seymour
Publicat: (1981)
per: Lipschutz, Seymour
Publicat: (1981)
Tractatus logico-philosophicus / tractatus logico philosophicus
per: ডরঃঃমবহংঃবরহ, খঁফরিম
Publicat: (2001)
per: ডরঃঃমবহংঃবরহ, খঁফরিম
Publicat: (2001)
Essential Computer Mathematics
per: Lipschutz, Seymour
Publicat: (1982)
per: Lipschutz, Seymour
Publicat: (1982)
Introduction to Mathematical Logic / Introduction to Mathematical Logic
per: Church, Alonzo
Publicat: (1996)
per: Church, Alonzo
Publicat: (1996)
Meaning and partiality/
per: Muskens, Reinhard
Publicat: (1995)
per: Muskens, Reinhard
Publicat: (1995)