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 "Proof Assistants" wurden 7 Produkte gefunden

Produkte filtern

HOME
Vorderes Coverbild Isabelle/HOL
Isabelle/HOL
58,84 €*
Preise inkl. MwSt. zzgl. Versandkosten
Vorderes Coverbild Formalization of Complex Analysis and Matrix Theory
Formalization of Complex Analysis and Matrix Theory
149,79 €*
Preise inkl. MwSt. zzgl. Versandkosten
Vorderes Coverbild Formalization of Complex Analysis and Matrix Theory
Formalization of Complex Analysis and Matrix Theory
149,79 €*
Preise inkl. MwSt. zzgl. Versandkosten
Vorderes Coverbild Proof Assistants and Their Applications in Mathematics and Computer Science
Proof Assistants and Their Applications in Mathematics and Computer Science
Ab 0,00 €*
Preise inkl. MwSt. zzgl. Versandkosten
Details
Logo der Buchhandlung Blendl
Superposition for Higher-Order Logic
117,69 €*
Preise inkl. MwSt. zzgl. Versandkosten
Vorderes Coverbild Proof Assistants and Their Applications in Mathematics and Computer Science
Proof Assistants and Their Applications in Mathematics and Computer Science
80,24 €*
Preise inkl. MwSt. zzgl. Versandkosten
Logo der Buchhandlung Blendl
Superposition for Higher-Order Logic
Ab 0,00 €*
Preise inkl. MwSt. zzgl. Versandkosten
Details
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...