Title: Automated reasoning and its applications
Subjects: Automatic theorem proving, Artificial intelligence