Title: Automated Deduction - CADE-17
Subjects: Congresses, Symbolic and mathematical Logic, Automatic theorem proving, Logic design, Computer science, Artificial intelligence, Logic, symbolic and mathematical