Home › Authors › Brigitte Pientka 👤 Brigitte Pientka 1 book Books by Brigitte Pientka Automated Deduction - CADE 29 Automated Deduction - CADE 29 2023