Brigitte Pientka · 1 obras en el catálogoObrasAAutomated Deduction - CADE 29Automated Deduction - CADE 29