Refine your search
Availability
-
Authors
- Flum, J�org (1)
- Frias, Marcelo Fabiá... (2)
- Frias, Marcelo Fabi�... (1)
- Gr�adel, Erich (1)
- Wilke, Thomas (1)
-
Holding libraries
-
Home libraries
-
Item types
- E-Book (2)
-
Locations
- Online Resource (2)
-
Series
-
Topics
- Computational comple... (1)
- Computer science (4)
- Logic, Symbolic and ... (4)
- Machine theory (1)
Strathmore