Zu "Deduktion und Beweisen" wurden 2 Produkte gefunden
HOME
Conclog: A Methodological Approach to Concurrent Logic Programming
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
A Resolution Principle for a Logic with Restricted Quantifiers
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten