Zu "Tableaux-Based Inference" wurde 1 Produkt gefunden
HOME
Automated Deduction in Classical and Non-Classical Logics
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten