Refine your search
Availability
-
Authors
- Atkinson, David
- Beyer, Dirk
- Chockler, Hana
- Dillig, Isil
- Feferman, Solomon
- Goubault-Larrecq, Je...
- Hirst, Keith
- Huisman, Marieke
- Kolman, Bernard
- Mendelson, Elliott
- Nelsen, Roger B.
- Nerode, Anil
- Neyland, Daniel
- Peijnenburg, Jeanne
- Schroeder-Heister, P...
- Shore, Richard A.
- Tasiran, Serdar
- Vojnar, Tomáš
- Weissenbacher, Georg
- Zhang, Lijun
- Show more
- Show less
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Algorithm Analysis a...
- Algorithms
- Artificial intellige...
- Artificial Intellige...
- Computer logic
- Computer science
- Computer system fail...
- Computers
- Logic in AI.
- Logic, Symbolic and ...
- Logics and Meanings ...
- Mathematical logic
- Mathematical Logic a...
- Mathematical Logic a...
- Mathematical theory ...
- Software engineering
- Software Engineering
- System Performance a...
- The Computing Profes...
- Show more
- Show less