Introduction to the theory of computation

Introduction to the theory of computation

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Sipser, Michael
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Australia Thomson 1996
Έκδοση:	2nd ed.
Θέματα:	Αλγόριθμοι Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές Λογική, Συμβολική και μαθηματική

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

Introduction to the theory of computation
ανά: Sipser, Michael
Έκδοση: (1996)

Unconventional models of computation
Έκδοση: (1998)

Computing in Horn clause theories
ανά: Padawitz, Peter
Έκδοση: (1988)

Arithmetic complexity of computations
ανά: Winograd, Shmuel
Έκδοση: (1980)

Computability and complexity from a programming perpective
ανά: Jones, Neil D.
Έκδοση: (1997)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2008)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2012)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2007)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2020)

A first course in formal logic and its applications in computer science
ανά: Dowsing, R.D
Έκδοση: (1986)

Teaching and learning formal methods
Έκδοση: (1996)

The resolution calculus /
ανά: Leitsch, Alexander
Έκδοση: (1997)

First-order logic and automated theorem proving /
ανά: Fitting, Melvin 1942-
Έκδοση: (1996)

DNA computing new computing paradigms
ανά: Paun, G.
Έκδοση: (1998)

The limits of mathematics a course on information theory and limits of formal reasoning
ανά: Chaitin, Gregory J.
Έκδοση: (1998)

Extrapolation methods theory and practice
ανά: Brezinski, Claude
Έκδοση: (1991)

An introduction to computational learning theory :
ανά: Kearns, Michael J.
Έκδοση: (1994)

Theory of computation /
ανά: Wood, Derick
Έκδοση: (1987)

The design and analysis of efficient learning algorithms
ανά: Schapire, Robert E.
Έκδοση: (1992)

Noisy information and computational complexity
ανά: Plaskota, Leszek
Έκδοση: (1996)

Models of computation and formal languages R. Gregory Taylor
ανά: Taylor, R. Gregory
Έκδοση: (1998)

Automata and computability /
ανά: Kozen, Dexter 1951-
Έκδοση: (1997)

The formal semantics of programming languages an introduction
ανά: Winskel, G. (Glynn)
Έκδοση: (1993)

Parameterized complexity
ανά: Downey, R. G.
Έκδοση: (1999)

Introduction to circuit complexity : a uniform approach /
ανά: Vollmer, Heribert
Έκδοση: (1999)

Foundations for programming languages
ανά: Mitchell, John C.
Έκδοση: (1996)

Automated reasoning introduction and applications
ανά: Wos, Larry
Έκδοση: (1984)

The continuum and other types of serial order
ανά: Huntington, Edward V.
Έκδοση: (1917)

The divine proportion a study in mathematical beauty
ανά: Huntley, H. E.
Έκδοση: (1970)

Complexity and real computation
ανά: Blum, Lenore
Έκδοση: (1998)

The temporal logic of reactive and concurrent systems specification
ανά: Manna, Zohar, κ.ά.
Έκδοση: (1992)

Complexity and information
ανά: Traub, J. F. (Joseph Frederick), 1932-
Έκδοση: (1998)

Epistemic logic for AI and computer science
ανά: Meyer, John-Jules Ch
Έκδοση: (1995)

Handbook of logic in artificial intelligence and logic programming /
Έκδοση: (1998)

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
ανά: Hermes, Hans
Έκδοση: (1969)

Introduction to logic
ανά: Suppes, Patrick 1922-2014
Έκδοση: (1957)

Αφηρημένα λογικά συστήματα και εφαρμογές τους στις γλώσσες προδιαγραφών
ανά: Στεφανέας, Πέτρος Σ.
Έκδοση: (2001)

Introduction to mathematical logic
ανά: Mendelson, Elliott
Έκδοση: (1964)

Introduction to symbolic logic
ανά: Basson, A. H.
Έκδοση: (1959)

Introduction to mathematical logic
ανά: Mendelson, Elliott
Έκδοση: (1997)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_km4gtsh99n59rv5t24u5t8orct