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 "Term Rewriting" wurden 10 Produkte gefunden

Produkte filtern

HOME
Conditional and Typed Rewriting Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Recent Trends in Algebraic Development Techniques
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Typed Lambda Calculi and Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Recent Trends in Algebraic Development Techniques
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Computer Science Logic
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Deduction — CADE-12
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Superposition for Higher-Order Logic
117,69 €*
Preise inkl. MwSt. zzgl. Versandkosten
Superposition for Higher-Order Logic
Ab 0,00 €*
Preise inkl. MwSt. zzgl. Versandkosten
Rewriting Techniques and Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Recent Trends in Data Type Specification
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten