Refine your search
Availability
-
Authors
- Baumgartner, Peter
- Camilleri, Juanito
- Dybjer, Peter
- Eijck, J.
- Gabbay, Dov M.
- Goos, Gerhard
- Gottlob, Georg
- Hartmanis, Juris
- Jantke, Klaus P.
- Kleine Büning, Hans
- Leeuwen, Jan
- Leitsch, Alexander
- Miglioli, P.
- Mundici, Daniele
- Nipkow, Tobias
- Nordström, Bengt
- Ohlbach, Hans Jürgen
- Smith, Jan
- Voronkov, Andrei
- Wansing, Heinrich
- Show more
- Show less
-
Holding libraries
-
Item types
-
Series
-
Topics
- Algorithm Analysis a...
- Artificial Intellige...
- Artificial intellige...
- Computation by Abstr...
- Computer Science
- Computer science
- Computer software
- Electronic data proc...
- Logic design
- Logic, Symbolic and ...
- Logics and Meanings ...
- Mathematical Logic a...
- Mathematical Logic a...
- Numeric Computing
- Operating Systems
- Operating systems (C...
- Programming Language...
- Programming Techniqu...
- Software engineering
- Software Engineering
- Show more
- Show less