Refine your search
Availability
-
Authors
- Baumgartner, Peter
- Dix, J.
- Dreschler-Fischer, L...
- Eijck, J.
- Fujisaki, Tetsunosuk...
- Gabbay, Dov M.
- Graf, Peter
- Jantke, Klaus P.
- Kapur, Deepak
- Miglioli, P.
- Mundici, D.
- Nebel, Bernhard
- Nerode, Anil
- Ohlbach, Hans Jürgen
- Owens, Richard
- Pearce, D.
- Tanaka, Hozumi
- Voronkov, Andrei
- Wansing, Heinrich
- Zhang, Chengqi
- Show more
- Show less
-
Holding libraries
-
Item types
-
Series
-
Topics
- Artificial Intellige...
- Artificial intellige...
- Automotive and Aeros...
- Biology
- Business Information...
- Computation by Abstr...
- Computer Communicati...
- Computer Science
- Computer science
- Database Management
- Database management
- Geometry, algebraic
- Information systems
- Logic design
- Logic, Symbolic and ...
- Logics and Meanings ...
- Mathematical Logic a...
- Mathematical Logic a...
- Programming Language...
- Programming Techniqu...
- Show more
- Show less