Automated Reasoning with Analytic Tableaux and Related Methods

With Analytic Tableaux and
Wo zu kaufen (1) Eigenschaften
Gesponsert
Automated Reasoning with Analytic Tableaux and Related Methods
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 09-11-2026 12:06:38
Siehe Produktangebot

Allgemein

MPN
36 black & white illustrations, 4 colour
ISBN
3642221181

Eigenschaften

Ähnliche Produkte

Automated Reasoning for Systems Biology and Medicine
Automated Reasoning for Systems Biology and Medicine
Aus101.54 EUR 4
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)
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I (Lecture Notes in Computer Science, Band 12166)
Aus85.49 EUR 4
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)
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II (Lecture Notes in Computer Science, Band 12167)
Aus78.99 EUR 4
Produkt anzeigen
Automated Reasoning
Automated Reasoning
Aus69.96 EUR 3
Produkt anzeigen
Automated Reasoning
Automated Reasoning
Aus42.79 EUR 3
Produkt anzeigen
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings (Lecture Notes in Computer Science, 13385, Band 13385)
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings (Lecture Notes in Computer Science, 13385, Band 13385)
Aus42.79 EUR 3
Produkt anzeigen
Menü