Title: Automated reasoning
Subjects: Computer logic, Congresses, Automatic theorem proving