Title: Automated Reasoning
Subjects: Artificial intelligence, Computer programming, Computer software, development, Logic, symbolic and mathematical