Title: Automated reasoning
Subjects: Automatic theorem proving, Computer logic, Congresses, MATHEMATICS, Infinity, Logic, Reasoning