Refine your search
Availability
-
Authors
- Bjørner, Dines
- Brauer, W.
- Fokkink, Wan
- Grohe, Martin
- Grädel, Erich
- Kluge, W.
- Kolaitis, Phokion G.
- Kroening, Daniel
- Kröger, Fred
- Kurki-Suonio, Reino
- Libkin, Leonid
- Marx, Maarten
- Merz, Stephan
- Rozenberg, G.
- Salomaa, A.
- Spencer, Joel
- Strichman, Ofer
- Vardi, Moshe Y.
- Venema, Yde
- Weinstein, Scott
- Show more
- Show less
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Algorithm Analysis a...
- Algorithms
- Artificial Intellige...
- Artificial intellige...
- Computation by Abstr...
- Computer science
- Computer Science
- Database Management
- Database management
- Information theory
- Logic design
- Logic, Symbolic and ...
- Logics and Meanings ...
- Mathematical Logic a...
- Mathematical Logic a...
- Programming Language...
- Programming Techniqu...
- Software Engineering
- Software engineering
- Theory of Computatio...
- Show more
- Show less