Cover Image

Automata and computability/

Main Author:	Kozen, Dexter C.
Corporate Author:	Springer
Format:	Book
Language:	English
Published:	New York: Springer, 1997
Subjects:	Logic > Mathematics Machine theory Computable functions Mathematics Logic Computer science Computation ΛΟΓΙΚΗ, ΣΥΜΒΟΛΙΚΗ ΚΑΙ ΜΑΘΗΜΑΤΙΚΗ ΘΕΩΡΙΑ ΜΗΧΑΝΩΝ ΗΛΕΚΤΡΟΝΙΚΟΙ ΥΠΟΛΟΓΙΣΤΕΣ > ΜΑΘΗΜΑΤΙΚΑ

Similar Items

Automata and computability /
by: Kozen, Dexter, 1951-
Published: (1997)

Logic and automata history and perspectives /
Published: (2008)

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

Discrete structures and automata theory /
by: Dube, Rakesh.
Published: (2006)

Automata, computability and complexity : theory and applications /
by: Rich, Elaine.
Published: (2008)

Introduction to the theory of computation/
by: Sipser, Michael
Published: (2006)

Elements of the theory of computation/
by: Lewis, Harry R.
Published: (1998)

Computability, complexity, and languages : fundamentals of theoretical computer science /
by: Davis, Martin D.
Published: (1994)

Computation engineering : applied automata theory and logic /
by: Gopalakrishnan, Ganesh
Published: (2006)

Elements of the theory of computation/
by: Lewis, Harry R.
Published: (1981)

Theory of computation /
by: Kozen, Dexter, 1951-
Published: (2006)

Theory of computation/
by: Wood, Derick, 1940-
Published: (1987)

Theory of computation :formal languages, automata, and complexity /
by: Brookshear, J. Glenn
Published: (1989)

Elements of symbolic logic/
by: Reichenbach, Hans, 1891-1953
Published: (1966)

What is mathematical logic?/
Published: (1975)

Introduction to languages and the theory of computation /
by: Martin, John C.
Published: (1997)

Introduction to languages and the theory of computation /
by: Martin, John C.
Published: (1991)

Computability, complexity, logic /
by: Borger, E.
Published: (1989)

Algebraic theory of automata and languages /
by: Itō, Masami, 1941-
Published: (2004)

The language of machines an introduction to computability and formal languages
by: Floyd, Robert W.
Published: (1994)

Models of computation : an introduction to computability theory /
by: Fernández, Maribel
Published: (2009)

Computers classical, quantum and others /
by: Suprun, Sergey P.
Published: (2012)

Introduction to automata theory, languages, and computation /
by: Hopcroft, John E., 1939-
Published: (2001)

Computational complexity /
by: Παπαδημητρίου, Χρήστος
Published: (1995)

Introduction to the theory of computation
by: Sipser, Michael
Published: (1997)

Στοιχεία μαθηματικής λογικής/
by: Τζουβάρας, Αθ.
Published: (1998)

Theory of computation : formal languages, automata, and complexity /
by: Brookshear, J. Glenn
Published: (1989)

Theory of computation: formal languages, automata, and complexity/
by: Brookshear, J. Glenn
Published: (1989)

Semirings, automata, languages/
by: Kuich, Werner, 1941-
Published: (1986)

Elements of logic via numbers and sets/
by: Johnson, D. L.
Published: (1998)

An introduction to Kolmogorov complexity and its applications/
by: Li, Ming
Published: (1997)

Introduction to automata theory, languages and computation/
by: Hopcroft, John E.
Published: (1979)

The development of mathematical logic/
by: Nidditch, P. H.
Published: (1963)

An introduction to modern logic : An elementary textbook of symbolic logic /
by: Halberstadt, William H.
Published: (1960)

Topics in philosophical logic/
by: Rescher, Nicholas
Published: (1968)

Symbolic logic/
by: Copi, Irving M.
Published: (1979)

A Mathematical introduction to logic/
by: Enderton, Herbert B.
Published: (2001)

Κανόνες για την καθοδήγηση του πνεύματος= Regulae an directionem ingenii/
by: Descartes, Rene?, 1596-1650
Published: (1976)

Κανόνες για την καθοδήγηση του πνεύματος= Regulae an directionem ingenii/
by: Descartes, Rene?, 1596-1650
Published: (1974)

Proceedings of the thirtieth annual ACM symposium on theory of computing
Published: (1998)

Cannot write session to /tmp/vufind_sessions/sess_e6n3nvge5t9gr8u9iq6uqcua97