Zu "Theorem Proving" wurden 27 Produkte gefunden
HOME
Integrating Symbolic Mathematical Computation and Artificial Intelligence
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Higher Order Logic Theorem Proving and Its Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Reasoning with Analytic Tableaux and Related Methods
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Reasoning with Analytic Tableaux and Related Methods
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Deduction in Classical and Non-Classical Logics
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
From formal semantics to verified slicing : a modular framework with applications in language based security
37,00 €*
Preise inkl. MwSt. zzgl. Versandkosten