Title: Automated Reasoning
Subjects: Logic design, Artificial intelligence, Computer science, Software engineering, Automatic theorem proving, Congresses, Computer logic