Title: Automated Deduction – CADE-22
Subjects: Computer science, Congresses, Automatisches Beweisverfahren, Symbolic and mathematical Logic, Kongress, Automatic theorem proving, Logic, symbolic and mathematical