Refine your search
Availability
-
Authors
- Bach, Maurice J. (1)
- Lewis, Harry R. (1)
- Papadimitriou, Chris... (1)
-
Collections
- Course Reserves (1)
-
Holding libraries
-
Item types
- Book (2)
- Course Reserves (1)
- TextBook (1)
-
Locations
- Course Reserve (1)
-
Series
-
Topics
- Computational comple... (1)
- Formal languages (1)
- Logic, Symbolic and ... (1)
- Machine theory (1)
-
Titles