Title: Automated DeductionCADE-14
Subjects: Mathematical Logic and Formal Languages, Computer science, Artificial intelligence, Artificial Intelligence (incl. Robotics)