Title: Automated theorem proving
Subjects: Automatic theorem proving, Congresses, Mathematics, history, Logic & foundations of mathematics, Computer mathematics