Refine your search
Availability
-
Authors
- Chaitin, Gregory J.
- Cohen, Daniel E.
- Davis, Martin
- Goswami, Sumit
- Hillis, W. Daniel
- Hopcroft, John E.
- Kelley, Dean
- Kinber, Efim
- Koenig, Eldo C.
- Kovács, Laura
- Lewis, Harry R.
- Martin, John C.
- Misra, Sudip
- Moss, Barbara
- Patterson, Brian
- Pattinson, Dirk
- Sigal, Ron
- Sipser, Michael
- Weyuker, Elaine J.
- Wood, Derick
- Show more
- Show less
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Artificial intellige...
- Automatic control
- Computable functions
- Computational comple...
- Computer science
- COMPUTERS / Hardware...
- Connection machines
- Electronic data proc...
- Formal languages
- Logic, Symbolic and ...
- Machine theory
- Mathematical logic
- Mathematical theory ...
- Mathematics
- Programming & script...
- Programming language...
- Robots
- Sequential machine t...
- Turing machines
- Show more
- Show less