Title: Automated Deduction - CADE 29
Subjects: Logic, symbolic and mathematical, Computer programming, Computer software, development, Artificial intelligence