- Computer Science (31)
- Logics and Meanings of Programs (31)
- Mathematical Logic and Formal Languages (31)
- Software Engineering (16)
- Artificial Intelligence (incl. Robotics) (14)
- Programming Languages, Compilers, Interpreters (12)
- Programming Techniques (10)
- Symbolic and Algebraic Manipulation (8)
- Theory of Computation (7)
- Computation by Abstract Devices (6)
- Algorithm Analysis and Problem Complexity (5)
- Mathematics of Computing (5)
- Discrete Mathematics in Computer Science (4)
- Mathematical Logic and Foundations (4)
- Logic Design (3)
- Algorithms (1)
- Arithmetic and Logic Structures (1)
- Coding and Information Theory (1)
- Computational Biology/Bioinformatics (1)
- Computer Appl. in Administrative Data Processing (1)
- Computer Communication Networks (1)
- Computing Methodologies (1)
- Data Structures (1)
- Database Management (1)
- Models and Principles (1)
- Operating Systems (1)
- System Performance and Evaluation (1)