Artificial Intelligence (incl. Robotics) Artificial intelligence Computation by Abstract Devices Computer Science Computer science Information theory Language Translation and Linguistics Logic design Logics and Meanings of Programs Mathematical Logic and Formal Languages Theory of Computation Translators (Computer programs)