Artificial Intelligence Artificial intelligence Computer logic Computer programming Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematical logic Programming Techniques Application software Computer Appl. in Administrative Data Processing Computer science—Mathematics Discrete Mathematics in Computer Science Programming Languages, Compilers, Interpreters Programming languages (Electronic computers) Software Engineering Software engineering