Title: Automated reasoning
Subjects: Computer logic, Congresses, Automatic theorem proving, Logic design, Computational complexity, Computer science, Artificial intelligence, Logic