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