- Artificial Intelligence (incl. Robotics) (4)
- Computer Science (4)
- Logics and Meanings of Programs (4)
- Mathematical Logic and Formal Languages (4)
- Programming Languages, Compilers, Interpreters (4)
- Programming Techniques (3)
- Computer Appl. in Administrative Data Processing (1)
- Models and Principles (1)
- Symbolic and Algebraic Manipulation (1)