- Artificial Intelligence (incl. Robotics) (14)
- Computer Science (14)
- Logics and Meanings of Programs (14)
- Mathematical Logic and Formal Languages (14)
- Programming Techniques (7)
- Software Engineering (6)
- Programming Languages, Compilers, Interpreters (5)
- Logic Design (3)
- Symbolic and Algebraic Manipulation (3)
- Algorithms (1)
- Coding and Information Theory (1)
- Computer Appl. in Administrative Data Processing (1)
- Mathematical Logic and Foundations (1)
- Mathematics of Computing (1)
- Models and Principles (1)
- Theory of Computation (1)