Refine your search
Availability
-
bib-level
- m (2)
-
Authors
- Berghammer, Rudolf (1)
- Moller, Faron (1)
- Möller, Bernhard (1)
- Struth, Georg (2)
-
Topics
- Algebra (1)
- Artificial Intelligence (incl. Robotics) (1)
- Artificial intelligence (1)
- Computational complexity (1)
- Computer Science (2)
- Data processing (1)
- Discrete Mathematics in Computer Science (1)
- Logic design (1)
- Logics and Meanings of Programs (1)
- Math Applications in Computer Science (1)
- Mathematical Logic and Formal Languages (2)
- Software Engineering (1)
- Software engineering (1)
- Symbolic and Algebraic Manipulation (1)
- Show more
- Show less