Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
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

Zu "Higher-Order Logic" wurden 6 Produkte gefunden

Produkte filtern

HOME
Isabelle/HOL
58,84 €*
Preise inkl. MwSt. zzgl. Versandkosten
Higher-Order Algebra, Logic, and Term Rewriting
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Computer Science Logic
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Superposition for Higher-Order Logic
117,69 €*
Preise inkl. MwSt. zzgl. Versandkosten
Multi-Agent Systems
160,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Superposition for Higher-Order Logic
Ab 0,00 €*
Preise inkl. MwSt. zzgl. Versandkosten