Refine your search
Availability
-
Authors
- Baaz Matthias (1)
- Baaz, Matthias (1)
- Harper Jr Charles L (1)
- Harper, Jr, Charles ... (1)
- Lewis Harry R (1)
- Lewis, Harry R. (1)
- Papadimitriou Christ... (5)
- Papadimitriou Christ... (1)
- Papadimitriou, Chris... (2)
- Putnam Hilary W (1)
- Putnam, Hilary W. (1)
- Scott Dana S (1)
- Scott, Dana S. (1)
- Steiglitz Kenneth (3)
- Show more
- Show less
-
Item types
-
Locations
- Textbook Library (2)
-
Series
-
Topics
- Automatentheorie (1)
- Automates mathématiq... (1)
- Combinatorial optimi... (3)
- Complexité de calcul... (1)
- Computation (1)
- Computational comple... (2)
- Computer programming (1)
- Computer science (1)
- Formal languages (1)
- Godel Kurt (1)
- Godel's theorem (1)
- Gödel's theorem (1)
- Informatica (1)
- Langages formels (1)
- Logic, Symbolic and ... (1)
- Logique symbolique e... (1)
- Mathematics (1)
- MATHEMATICS / Logic (1)
- Mathematics-philosop... (1)
- Show more
- Show less