Elements of the theory of computation

Elements of the theory of computation

Εμφάνιση άλλων εκδόσεων (1)

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Lewis, Harry R.
Άλλοι συγγραφείς:	Παπαδημητρίου, Χρίστος Χ., 1949-
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Upper Saddle River, N.J. : Prentice-Hall, c1998.
Έκδοση:	2nd ed.
Θέματα:	Machine theory. Formal languages. Computational complexity. Logic, Symbolic and mathematical.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Elements of the theory of computation
από: Lewis, Harry R.
Δημοσίευση: (1981)

Στοιχεία θεωρίας υπολογισμού
από: Lewis, Harry R.
Δημοσίευση: (2005)

Introduction to automata theory, languages, and computation
από: Hopcroft, John E. 1939-
Δημοσίευση: (2007)

Introduction to automata theory, languages, and computation
από: Hopcroft, John E., 1939-
Δημοσίευση: (1979)

Mathematical foundations of programming
από: Beckman, Frank S.
Δημοσίευση: (1980)

Computability, complexity, and languages :
από: Davis, Martin 1928-
Δημοσίευση: (1994)

Mathematical logic and computability
από: Keisler, H. Jerome
Δημοσίευση: (1996)

Logical foundations of mathematics and computational complexity :
από: Pudlak, Pavel 1952-
Δημοσίευση: (2013)

Communication and concurrency
από: Milner, R. (Robin) 1934-
Δημοσίευση: (1989)

Elements of set theory
από: Zehna, Peter W., κ.ά.
Δημοσίευση: (1962)

Introduction to the theory of computation
από: Sipser, Michael
Δημοσίευση: (1997)

Introduction to the theory of computation
από: Sipser, Michael
Δημοσίευση: (2006)

Descriptive complexity
από: Immerman, Neil 1953-
Δημοσίευση: (1999)

Logic and computer science :
από: Homer, S. (Steven)
Δημοσίευση: (1990)

Logic, language and computation
Δημοσίευση: (1996)

Syntactic pattern recognition :
από: Gonzalez, Rafael C.
Δημοσίευση: (1978)

Word processing in groups
από: Epstein, D. B. A.
Δημοσίευση: (1992)

Elements of Logic and Foundations of Mathematics in Problems
από: Marek, V. W. (V. Wiktor) 1943-
Δημοσίευση: (1982)

Elements of symbolic logic
από: Reichenbach, Hans, 1891-1953
Δημοσίευση: (1966)

The elements of mathematical logic
από: Rosenbloom, Paul C.
Δημοσίευση: (1950)

Elements of mathematical logic
από: Lukasiewicz, Jan
Δημοσίευση: (1963)

ICALP 2001 :
Δημοσίευση: (2001)

Elements of scientific inquiry
από: Martin, Eric 1962-
Δημοσίευση: (1998)

An outline of set theory
από: Henle, James M.
Δημοσίευση: (1986)

Set theory and logic
από: Fraenkel, Abraham Adolf, 1891-1965
Δημοσίευση: (1966)

Logic for computer scientists
από: Schoning, Uwe 1955-
Δημοσίευση: (1989)

Handbook of logic in computer science
Δημοσίευση: (1992)

Set theory, logic, and their limitations
από: Machover, Moshe
Δημοσίευση: (1996)

Sets, logic, and axiomatic theories
από: Stoll, Robert Roth
Δημοσίευση: (1974)

Set theory and the continuum hypothesis
από: Cohen, Paul J. 1934-
Δημοσίευση: (1980)

Notes on logic and set theory
από: Johnstone, P. T.
Δημοσίευση: (1987)

Logical number theory I :
από: Smorynski, C.
Δημοσίευση: (1991)

Sets, logic, and axiomatic theories
από: Stoll, Robert Roth
Δημοσίευση: (1961)

Introduction to logical theory
από: Strawson, P. F.
Δημοσίευση: (1963)

Logic for mathematics and computer science
από: Burris, Stanley
Δημοσίευση: (1998)

Mathematical Logic for Computer Science
από: Ben-Ari, M. 1948-
Δημοσίευση: (1993)

Mathematical logic for computer science
από: Lu, Chung-wan
Δημοσίευση: (1989)

Εισαγωγή στη θεωρία υπολογισμού
από: Sipser, Michael
Δημοσίευση: (2007)

Εισαγωγή στη θεωρία υπολογισμού
από: Sipser, Michael
Δημοσίευση: (2020)

A formalization of set theory without variables
από: Tarski, Alfred
Δημοσίευση: (1987)