Refine your search
Availability
-
Authors
- Berghammer, R.
- Berghammer, Rudolf
- Bhattacharjee, Meena...
- Dowek, Gilles
- Hangel, E.
- Heering, Jan
- Krieg-Brückner, B.
- Macpherson, Dugald
- Meinke, Karl
- Moller
- Moller, C
- Moller, Faron
- Möller, B.
- Möller, Bernhard
- Neumann, Peter M.
- Nickl, F.
- Partsch, H.
- Pepper, P.
- Struth, Georg
- Tucker, John V.
- Show more
- Show less
-
Holding libraries
-
Item types
-
Series
-
Topics
- Algebra
- Algorithm Analysis a...
- Artificial intellige...
- Artificial Intellige...
- Combinatorics
- Computation by Abstr...
- Computer Science
- Computer science
- Computer software
- Discrete Mathematics...
- Logic design
- Logic, Symbolic and ...
- Logics and Meanings ...
- Mathematical Logic a...
- Mathematical Logic a...
- Programming Language...
- Programming Techniqu...
- Software engineering
- Software Engineering
- Symbolic and Algebra...
- Show more
- Show less