Zu "Logik mit eingebauten Sorten" wurde 1 Produkt gefunden
HOME
Computational Aspects of an Order-Sorted Logic with Term Declarations
37,44 €*
Preise inkl. MwSt. zzgl. Versandkosten