- Artificial Intelligence (incl. Robotics) (7)
- Computer Science (7)
- Programming Techniques (7)
- Mathematical Logic and Formal Languages (6)
- Logics and Meanings of Programs (5)
- Programming Languages, Compilers, Interpreters (3)
- Algorithm Analysis and Problem Complexity (2)
- Software Engineering (2)
- Computation by Abstract Devices (1)
- Computer Appl. in Administrative Data Processing (1)
- Database Management (1)
- Models and Principles (1)
- Processor Architectures (1)
- Symbolic and Algebraic Manipulation (1)