Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0
oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München
+++ Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen? Tel. 089/210233-0
Zur Startseite gehen
Zur Startseite gehen
0,00 €*

Zu "higher-order logic" wurden 17 Produkte gefunden

Filter
HOME
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Types for Proofs and Programs
Types for Proofs and Programs
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Logic for Learning
Logic for Learning
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Logic for Learning
Logic for Learning
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Simple Type Theory
Simple Type Theory
64,19 €*
Preise inkl. MwSt. zzgl. Versandkosten
New Frontiers in Artificial Intelligence
New Frontiers in Artificial Intelligence
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Verified Software: Theories, Tools, and Experiments
Verified Software: Theories, Tools, and Experiments
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Dependable Software Engineering: Theories, Tools, and Applications
Dependable Software Engineering: Theories, Tools, and Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Intelligent Computer Mathematics
Intelligent Computer Mathematics
44,94 €*
Preise inkl. MwSt. zzgl. Versandkosten
Verified Software: Theories, Tools and Experiments
Verified Software: Theories, Tools and Experiments
51,36 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Deduction – CADE 26
Automated Deduction – CADE 26
85,59 €*
Preise inkl. MwSt. zzgl. Versandkosten
New Frontiers in Artificial Intelligence
New Frontiers in Artificial Intelligence
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Simple Type Theory
Simple Type Theory
80,24 €*
Preise inkl. MwSt. zzgl. Versandkosten
Simple Type Theory
Simple Type Theory
64,19 €*
Preise inkl. MwSt. zzgl. Versandkosten
Simple Type Theory
Simple Type Theory
80,24 €*
Preise inkl. MwSt. zzgl. Versandkosten
Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Simple Type Theory
Simple Type Theory
90,94 €*
Preise inkl. MwSt. zzgl. Versandkosten
Details
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...