Descriptive complexity /

Descriptive complexity /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Immerman, Neil, 1953- (συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	New York : Springer, c1999.
Σειρά:	Graduate texts in computer science
Θέματα:	Λογική, Συμβολική και μαθηματική Υπολογιστική πολυπλοκότητα

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

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

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

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

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

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

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

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

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

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

A first course in logic an introduction to model theory, proof theory, computability and complexity
ανά: Hedman, Shawn
Έκδοση: (2004)

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

Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University /
Έκδοση: (1997)

Complexity : knots, colourings and counting /
ανά: Welsh, D. J. A.
Έκδοση: (1993)

Complexity and structure
ανά: Schöning, Uwe, 1955-
Έκδοση: (1986)

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

Structural complexity /
ανά: Balcázar, José Luis
Έκδοση: (1995)

Computational complexity /
ανά: Wagner, K. (Klaus)
Έκδοση: (1986)

Computational complexity /
ανά: Papadimitriou, Christos H., 1949-
Έκδοση: (1994)

Complexity theory : current research /
Έκδοση: (1993)

Complexity theory retrospective II /
Έκδοση: (1997)

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

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

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

Structure in complexity theory : proceedings of the conference held at the University of California, Berkeley, California June 2-5,1986 /
Έκδοση: (1986)

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

Boolean function complexity /
Έκδοση: (1992)

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

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

Algorithms and complexity : new directions and recent results : [proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976] /
Έκδοση: (1976)

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

Randomness and completeness in computational complexity /
ανά: Melkebeek, Dieter Van
Έκδοση: (2000)

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

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

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

The theory of computability : programs, machines, effectiveness, and feasibility /
ανά: Sommerhalder, R.
Έκδοση: (1988)

SWAT 90 : 2nd Scandinavian Workshop on algorithm theory, Bergen, Sweden, July 11-14, 1990 : proceedings /
Έκδοση: (1990)

Computation in living cells : gene assembly in ciliates /
Έκδοση: (2004)

Elements of symbolic logic
ανά: Reichenbach, Hans, 1891-1953
Έκδοση: (1947)

Nomological statements and admissible operations /
ανά: Reichenbach, Hans, 1891-1953
Έκδοση: (1954)

The unknowable /
ανά: Chaitin, Gregory J.
Έκδοση: (1999)

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