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 Medien Bücher First-Order Logic and Automated Theorem Proving
product image
product image

First-Order Logic and Automated Theorem Proving

90.34 EUR 6% Off 96.29 EUR

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

Gesponsert First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

90.34 EUR 96.29 EUR
21-04-2026 18:14:38
Access to the deal

Gesponsert First-Order Logic and Automated Theorem Proving

96.29 EUR 96.29 EUR
21-04-2026 06:08:23
Access to the deal

Ähnliche Produkte

First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories

53.49 EUR
Produkt anzeigen

First-Order Modal Logic (Synthese Library)

246.09 EUR
Produkt anzeigen

First-Order Dynamic Logic (Lecture Notes in Computer Science)

10.69 EUR
Produkt anzeigen

Metamathematics of First-Order Arithmetic

133.40 EUR 139.09 EUR
Produkt anzeigen