Refine your search
- Availability
-
Authors
- Bjørner, D. (1)
- Gonzalez, Rafael C. (1)
- Lentin, André, (1)
- Linz, Peter. (1)
- Thomason, Michael G.... (1)
- Show more
- Holding libraries
-
Item types
- Books (7)
-
Locations
- General Stacks (6)
-
Series
-
Topics
- Computational comple... (2)
- Computer programming (2)
- Computer programming... (1)
- COMPUTERS (1)
- Formal languages (2)
- Formal languages. (6)
- Logic, Symbolic and ... (1)
- Machine theory (1)
- Machine theory. (5)
- Pattern perception. (1)