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