- Mathematical Logic and Formal Languages 21
- Artificial Intelligence 18
- Logics and Meanings of Programs 15
- Programming Languages, Compilers, Interpreters 11
- Algorithm Analysis and Problem Complexity 10
- Programming Techniques 10
- Numeric Computing 6
- Software Engineering/Programming and Operating Systems 6
- Mathematical Logic and Foundations 5
- Operating Systems 4
- Computation by Abstract Devices 3
- Computer Appl. in Administrative Data Processing 2
- Discrete Mathematics in Computer Science 2
- Information and Communication, Circuits 2
- Data Structures 1
- Logic Design 1
- Math Applications in Computer Science 1
- Mathematics of Computing 1
- Software Engineering 1
- Symbolic and Algebraic Manipulation 1