Refine your search
Availability
-
Authors
- Beyer, Dirk
- Bouyer, Patricia
- Chockler, Hana
- Davis, Martin
- Dillig, Isil
- Hirst, Keith
- Martin, John C.
- Mendelson, Elliott
- Nelsen, Roger B.
- Nerode, Anil
- Neyland, Daniel
- Peijnenburg, Jeanne
- Piecha, Thomas
- Schroeder-Heister, P...
- Tasiran, Serdar
- Turing, Sara
- Vince, John
- Vojnar, Tomáš
- Weissenbacher, Georg
- Zhang, Lijun
- Show more
- Show less
-
Holding libraries
-
Item types
-
Locations
-
Series
- Classroom resource m...
- Computer science and...
- Graduate texts in co...
- Lecture Notes in Com...
- Mathematics and its ...
- Modular mathematics ...
- Schaum's outline ser...
- SpringerBriefs in Co...
- Synthese Library, St...
- The Wadsworth & Broo...
- Theoretical Computer...
- Trends in Logic, Stu...
- Show more
- Show less
-
Topics
- Algorithm Analysis a...
- Algorithms
- Artificial intellige...
- Artificial Intellige...
- Computer logic
- Computer science
- Computer system fail...
- Logic in AI.
- Logic, Symbolic and ...
- Logics and Meanings ...
- Mathematical logic
- Mathematical Logic a...
- Mathematical Logic a...
- Mathematical theory ...
- Mathematics
- Software engineering
- Software Engineering
- System Performance a...
- The Computing Profes...
- Show more
- Show less