Title: Automated Deduction – CADE-23
Subjects: Logic design, Software engineering, Computer science, Artificial intelligence, Congresses, Symbolic and mathematical Logic, Automatic theorem proving, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Artificial Intelligence (incl. Robotics)