Complexity and structure

Complexity and structure

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Schöning, Uwe, 1955- (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin Springer-Verlag c1986
Σειρά:	Lecture Notes in Computer Science / G. Goos and J. Hartmanis 211
Θέματα:	Υπολογιστική Λογική, Συμβολική και μαθηματική LNCS

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

Elements of the theory of computation
ανά: Lewis, Harry R., κ.ά.
Έκδοση: (1998)

Efficient Graph Rewriting and its Implementation
ανά: Dorr, Heiko
Έκδοση: (1995)

Parallel sympolic computing:languages, systems, and applications Proceedings of the US/Japan Workshop Cambridge, MA, USA, October 14-17, 1992
Έκδοση: (1993)

Rewriting techniques and applications [Proceedings of the 1rst international conference] Dijon, France, May 20-22, 1985
Έκδοση: (1985)

Advances in petri nets 1985 [Procedings of the 6th European Workshop on applications and theory of Petri Nets. Espoo, Finland, June, 1985]
Έκδοση: (1986)

Temporal logics and their applications
Έκδοση: (1987)

Logics for Concurrency Structure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994
Έκδοση: (1996)

Automata, Languages and Programming Proceedings of the 16th International Colloquim Stresa, Italy, July 11-15, 1989
Έκδοση: (1989)

Descriptive complexity /
ανά: Immerman, Neil, 1953-
Έκδοση: (1999)

Automata, languages and programming Proceedings 13th International Cologuium. Rennes, France, July 15-19, 1986
Έκδοση: (1986)

Computability and unsolvability
ανά: Davis, Martin, 1928-
Έκδοση: (1982)

Εφαρμογή των κινητικών δομών δεδομένων σε προβλήματα της υπολογιστικής γεωμετρίας
ανά: Τσιμά, Αλεξάνδρα
Έκδοση: (2006)

Εισαγωγή στην υπολογιστική
ανά: Τουρλάκης, Γιώργος
Έκδοση: (1994)

Algebraic complexity theory /
ανά: Bürgisser, Peter, 1962-
Έκδοση: (1997)

Computability, complexity, logic /
ανά: Börger, E. 1946- (Egon)
Έκδοση: (1989)

Cellular automata and complexity : collected papers /
ανά: Wolfram, Stephen
Έκδοση: (1994)

Logic and structure /
ανά: Dalen, D. van (Dirk), 1932-
Έκδοση: (2004)

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

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

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

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

The structure of proof : with logic and set theory /
ανά: O'Leary, Michael L.
Έκδοση: (2002)

Foundations of the logical theory of scientific knowledge (complex logic) /
ανά: Zinoviev, Aleksandr, 1922-2006
Έκδοση: (1973)

Elementary induction on abstract structures
ανά: Moschovakis, Yiannis
Έκδοση: (2008)

Elementary induction on abstract structures /
ανά: Μοσχοβάκης, Γιάννης Ν.
Έκδοση: (1974)

Computational complexity a modern approach
ανά: Arora, Sanjeev, κ.ά.
Έκδοση: (2009)

Arithmetic, proof theory, and computational complexity
Έκδοση: (1993)

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

Λογική και απόδειξη : θεωρία-ασκήσεις /
ανά: Boricic, Branislav, 1955-
Έκδοση: (1995)

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

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

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

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

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

Modal logic an introduction
ανά: Chellas, Brian F.
Έκδοση: (1995)

Self-reference and modal logic /
ανά: Smorynski, C.
Έκδοση: (1985)

Extensional constructs in intensional type theory
ανά: Hofmann, Martin
Έκδοση: (1997)

Topics in philoshophical logic
ανά: Rescher, Nicholas
Έκδοση: (1968)

Εισαγωγή στη συμβολική λογική
ανά: Καργόπουλος, Φίλιππος Β.
Έκδοση: (2008)

Admissible sets and structures an approach to definability theory
ανά: Barwise, Jon
Έκδοση: (1975)

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