Zu "Theorem proving and SAT solving" wurden 3 Produkte gefunden
HOME
Theory and Applications of Satisfiability Testing - SAT 2014
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Graph Structures for Knowledge Representation and Reasoning
44,94 €*
Preise inkl. MwSt. zzgl. Versandkosten