Theorem Proving in Higher Order Logics | Kaicus Deutschland
All categories
Kaicus
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus Theorem Proving in Higher Order Logics
product image
product image

Theorem Proving in Higher Order Logics

53.49 EUR

Marke: Springer
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Theorem Proving in Higher Order Logics

53.49 EUR 53.49 EUR
03-06-2026 23:52:59
Access to the deal

Gesponsert Theorem Proving in Higher Order Logics, Fachbücher von Klaus Schneider, Jens Brandt

53.49 EUR 53.49 EUR
04-06-2026 06:13:32
Access to the deal

Ähnliche Produkte

Automated Theorem Proving

111.98 EUR 128.39 EUR
Produkt anzeigen

First-Order Logic and Automated Theorem Proving

84.40 EUR 96.29 EUR
Produkt anzeigen

Interactive Theorem Proving

52.94 EUR 53.49 EUR
Produkt anzeigen

Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

128.39 EUR
Produkt anzeigen