Automated Reasoning with Analytic Tableaux and Related Methods | 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 Automated Reasoning with Analytic Tableaux and Related Methods
product image
product image

Automated Reasoning with Analytic Tableaux and Related Methods

54.99 EUR

MPN: 36 black & white illustrations, 4 colour
SKU: 36 black & white illustrations, 4 colour
ISBN: 3642221181
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Automated Reasoning with Analytic Tableaux and Related Methods

54.99 EUR 54.99 EUR
08-08-2026 03:33:26
Access to the deal

Ähnliche Produkte

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

50.25 EUR 59.00 EUR
Produkt anzeigen

Automated Reasoning and Mathematics

49.22 EUR 54.50 EUR
Produkt anzeigen

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II (Lecture Notes in Computer Science, Band 12167)

79.04 EUR 87.50 EUR
Produkt anzeigen

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I (Lecture Notes in Computer Science, Band 12166)

85.59 EUR 94.50 EUR
Produkt anzeigen