Kansikuva

Elements of the theory of computation /

Näytä muut versiot (6)

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Lewis, Harry R
Muut tekijät:	Papadimitriou, Christos H
Aineistotyyppi:	Kirja
Kieli:	englanti
Julkaistu:	New Jersey : Prentice-Hall c1981.
Painos:	2nd ed.
Aiheet:	Machine theory Formal languages Computational complexity Logic, Symbolic and mathematical
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Samankaltaisia teoksia

Elements of the theory of computation /
Tekijä: Lewis, Harry R
Julkaistu: (1981)

Elements of the theory of computation /
Tekijä: Lewis, Harry R
Julkaistu: (1981)

Elements of the theory of computation /
Tekijä: Lewis, Harry R.
Julkaistu: (1989)

Elements of the theory of computation /
Tekijä: Lewis, Harry R.
Julkaistu: (1989)

Elements of the theory of computation /
Tekijä: Lewis, Harry R.
Julkaistu: (1989)

Elements of the Theory of Computation
Tekijä: Lewis, Harry R.
Julkaistu: (1998)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
Tekijä: Hopcroft, John E.
Julkaistu: (1979)

Introduction to automata theory, languages, and computation /
Tekijä: Hopcroft, John E.
Julkaistu: (2001)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
Tekijä: Hopcroft, John E.
Julkaistu: (1979)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
Tekijä: Hopcroft, John E.
Julkaistu: (1979)

Introduction to automata theory, languages, and computation /
Tekijä: Hopcroft, John E.
Julkaistu: (2001)

Introduction to automata theory, languages, and computation /
Tekijä: Hopcroft, John E.
Julkaistu: (2001)

An Introduction to Theory of Computation An Algorithmic Approach /
Tekijä: Ogihara, Mitsunori
Julkaistu: (2025)

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

Automata Theory And Formal Languages /
Tekijä: Kandar, Shyamalendu
Julkaistu: (2012)

Automata Theory And Formal Languages /
Tekijä: Kandar, Shyamalendu
Julkaistu: (2012)

Automata Theory And Formal Languages /
Tekijä: Kandar, Shyamalendu
Julkaistu: (2012)

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

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

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

Set Theory
Tekijä: Chatterjee, P. N.
Julkaistu: (1993)

Set Theory
Tekijä: Chatterjee, P. N.
Julkaistu: (1995)

Theory and Problems of Set Theory and Related Topics
Tekijä: Lipschutz, Seymour
Julkaistu: (1964)

Schaum's outline of set theory and related topics /
Tekijä: Lipschutz, Seymour
Julkaistu: (1981)

Schaum's outline of set theory and related topics
Tekijä: Lipschutz, Seymour
Julkaistu: (1981)

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

Essential Computer Mathematics
Tekijä: Lipschutz, Seymour
Julkaistu: (1982)

Set Theory: and Related Topics
Tekijä: Spiegel, Murray R.
Julkaistu: (1965)

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

Computability and logic /
Tekijä: Boolos, George S.
Julkaistu: (1989)

Theory of automata, formal languages and computation /
Tekijä: Xavier, Eugene S. P.
Julkaistu: (2005)

Theory of automata, formal languages and computation /
Tekijä: Xavier, Eugene S. P.
Julkaistu: (2005)

Theory of automata, formal languages and computation /
Tekijä: Xavier, Eugene S. P.
Julkaistu: (2005)

Introduction to mathematical logic; set theory / computable functions, model theory.
Tekijä: MALITZ, Jerome
Julkaistu: (1979)

Threshold logic /
Tekijä: LEWIS, P.M
Julkaistu: (1967)

Leibnits and the seventeenth-century /
Tekijä: Meyer, R.W
Julkaistu: (1952)

R-Calculus, IV: Propositional Logic
Tekijä: Li, Wei, et al.
Julkaistu: (2023)

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

Formal Languages and Automata Theory /
Tekijä: Anami, Basavaraj S.
Julkaistu: (2011)