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

53.49 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

53.49 EUR 53.49 EUR
14-06-2026 10:27:06
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 53.49 EUR
Produkt anzeigen

Automated Reasoning and Mathematics

49.22 EUR
Produkt anzeigen

Automated Reasoning for Systems Biology and Medicine

101.54 EUR 106.99 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 79.17 EUR
Produkt anzeigen