Zu "Isabelle" wurden 35 Produkte gefunden
HOME
9th International Conference on Automated Deduction
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Relational and Algebraic Methods in Computer Science
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten