Mathematical Logic and Formal Languages Computer science 301 Computer Science 285 Logics and Meanings of Programs 165 Logic design 160 Artificial Intelligence (incl. Robotics) 143 Artificial intelligence 143 more ... Software engineering 123 Software Engineering 120 Algorithm Analysis and Problem Complexity 91 Computer software 90 Programming Languages, Compilers, Interpreters 90 Programming Techniques 74 Computation by Abstract Devices 71 Discrete Mathematics in Computer Science 55 Computational complexity 54 Mathematics of Computing 39 Algebra 37 Theory of Computation 36 Information theory 35 Data Mining and Knowledge Discovery 34 Data mining 34 Data processing 33 Computer Communication Networks 31 Symbolic and Algebraic Manipulation 30 Information Storage and Retrieval 28 Mathematical Logic and Foundations 27 Information storage and retrieval systems 26 Logic, Symbolic and mathematical 25 Information systems 24 less ...