- Artificial Intelligence (incl. Robotics) (11)
- Computer Science (11)
- Logics and Meanings of Programs (11)
- Mathematical Logic and Formal Languages (9)
- Programming Techniques (5)
- Programming Languages, Compilers, Interpreters (4)
- Software Engineering (3)
- Computer Communication Networks (2)
- Data Mining and Knowledge Discovery (2)
- Information Systems Applications (incl.Internet) (2)
- Logic Design (2)
- Multimedia Information Systems (2)
- Symbolic and Algebraic Manipulation (2)
- Computer Appl. in Administrative Data Processing (1)
- Mathematical Logic and Foundations (1)
- Models and Principles (1)