Obálka

Elements of the theory of computation /

Zobrazit další vydání (6)

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Lewis, Harry R
Další autoři:	Papadimitriou, Christos H
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	New Jersey : Prentice-Hall c1981.
Vydání:	2nd ed.
Témata:	Machine theory Formal languages Computational complexity Logic, Symbolic and mathematical
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Elements of the theory of computation /
Autor: Lewis, Harry R
Vydáno: (1981)

Elements of the theory of computation /
Autor: Lewis, Harry R
Vydáno: (1981)

Elements of the theory of computation /
Autor: Lewis, Harry R.
Vydáno: (1989)

Elements of the theory of computation /
Autor: Lewis, Harry R.
Vydáno: (1989)

Elements of the theory of computation /
Autor: Lewis, Harry R.
Vydáno: (1989)

Elements of the Theory of Computation
Autor: Lewis, Harry R.
Vydáno: (1998)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
Autor: Hopcroft, John E.
Vydáno: (1979)

Introduction to automata theory, languages, and computation /
Autor: Hopcroft, John E.
Vydáno: (2001)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
Autor: Hopcroft, John E.
Vydáno: (1979)

Introduction to automata theory, languages, and computation /
Autor: Hopcroft, John E.
Vydáno: (2001)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
Autor: Hopcroft, John E.
Vydáno: (1979)

Introduction to automata theory, languages, and computation /
Autor: Hopcroft, John E.
Vydáno: (2001)

A Concise Introduction to Logic
Autor: Hurley
Vydáno: (2006)

Symbolic Logic
Autor: Copi
Vydáno: (1995)

An Introduction to Theory of Computation An Algorithmic Approach /
Autor: Ogihara, Mitsunori
Vydáno: (2025)

Understanding Symbolic Logic
Autor: Klenk
Vydáno: (2008)

Formal Logic : Its Scope and Limits /
Autor: Jeffrey, Richard C.
Vydáno: (1967)

Automata Theory And Formal Languages /
Autor: Kandar, Shyamalendu
Vydáno: (2012)

Automata Theory And Formal Languages /
Autor: Kandar, Shyamalendu
Vydáno: (2012)

Automata Theory And Formal Languages /
Autor: Kandar, Shyamalendu
Vydáno: (2012)

Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
Autor: Hoffmann, Dirk W.
Vydáno: (2025)

Institution-independent Model Theory
Autor: Diaconescu, Răzvan
Vydáno: (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 /
Vydáno: (2024)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
Autor: Farmer, William M.
Vydáno: (2023)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
Autor: Farmer, William M.
Vydáno: (2025)

Logic and Set Theory /
Autor: Philip, N.
Vydáno: (1979)

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

Set Theory
Autor: Chatterjee, P. N.
Vydáno: (1993)

Set Theory
Autor: Chatterjee, P. N.
Vydáno: (1995)

Theory and Problems of Set Theory and Related Topics
Autor: Lipschutz, Seymour
Vydáno: (1964)

Theory of automata, formal languages and computation /
Autor: Xavier, Eugene S. P.
Vydáno: (2005)

Theory of automata, formal languages and computation /
Autor: Xavier, Eugene S. P.
Vydáno: (2005)

Theory of automata, formal languages and computation /
Autor: Xavier, Eugene S. P.
Vydáno: (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 /
Vydáno: (2025)

Schaum's outline of set theory and related topics /
Autor: Lipschutz, Seymour
Vydáno: (1981)

Schaum's outline of set theory and related topics
Autor: Lipschutz, Seymour
Vydáno: (1981)

Essential Computer Mathematics
Autor: Lipschutz, Seymour
Vydáno: (1982)

Tractatus logico-philosophicus / tractatus logico philosophicus
Autor: ডরঃঃমবহংঃবরহ, খঁফরিম
Vydáno: (2001)

Introduction to Mathematical Logic / Introduction to Mathematical Logic
Autor: Church, Alonzo
Vydáno: (1996)

Meaning and partiality/
Autor: Muskens, Reinhard
Vydáno: (1995)