Title: Automated Reasoning
Subjects: Mathematical Logic and Formal Languages, Software engineering, Electronic data processing, Logic design, Logics and Meanings of Programs, Computer science, Numeric Computing, Mathematics of Computing, Artificial intelligence, Artificial Intelligence (incl. Robotics)