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

First-Order Logic and Automated Theorem Proving

96.49 EUR 9% Off 106.50 EUR

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

Gesponsert First-Order Logic and Automated Theorem Proving

96.49 EUR 106.50 EUR
04-11-2026 02:00:11
Access to the deal

Gesponsert First-Order Logic and Automated Theorem Proving

106.50 EUR 106.50 EUR
03-11-2026 18:14:46
Access to the deal

Ähnliche Produkte

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

11.49 EUR
Produkt anzeigen

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

53.49 EUR
Produkt anzeigen

First Order-Logic

76.88 EUR
Produkt anzeigen

Metamathematics of First-Order Arithmetic

138.99 EUR
Produkt anzeigen