- Computer Science (17)
- Logics and Meanings of Programs (17)
- Symbolic and Algebraic Manipulation (17)
- Mathematical Logic and Formal Languages (16)
- Artificial Intelligence (incl. Robotics) (8)
- Software Engineering (7)
- Discrete Mathematics in Computer Science (6)
- Programming Languages, Compilers, Interpreters (5)
- Mathematics of Computing (4)
- Algorithm Analysis and Problem Complexity (3)
- Computation by Abstract Devices (3)
- Mathematical Logic and Foundations (3)
- Theory of Computation (3)
- Computer Appl. in Arts and Humanities (1)
- Computer Imaging, Vision, Pattern Recognition and Graphics (1)
- Computing Methodologies (1)
- Information Systems Applications (incl.Internet) (1)
- Models and Principles (1)
- Simulation and Modeling (1)