Title: Automated deduction, CADE-15
Subjects: Congresses, Symbolic and mathematical Logic, Automatic theorem proving