Title: Automated Reasoning
Subjects: Artificial intelligence, Automatic theorem proving