Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, ... Notes in Computer Science, Band 8562)

Wo zu kaufen (4) Eigenschaften
Gesponsert
Automated Reasoning
Hugendubel
53.49 EUR
Preis aktualisiert am: 29-10-2026 11:48:55
Siehe Produktangebot
Gesponsert
Automated Reasoning, Fachbücher von Deepak Kapur, Christoph Weidenbach, Stéphane Demri
Galaxus.de
53.49 EUR
Preis aktualisiert am: 27-10-2026 03:24:14
Siehe Produktangebot
Gesponsert
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, ... Notes in Computer Science, Band 8562)
Medimops DE
53.49 EUR
Preis aktualisiert am: 28-10-2026 17:18:17
Siehe Produktangebot
Gesponsert
Automated Reasoning
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 28-10-2026 06:12:40
Siehe Produktangebot

Allgemein

Marke
Stephane Demri
MPN
Stephane Demri 101 black & white illustrations, biograp
ISBN
Stephane Demri 3319085867

Eigenschaften

Ähnliche Produkte

Automated Reasoning
Automated Reasoning
Aus69.96 EUR 4
Produkt anzeigen
Automated Reasoning for Systems Biology and Medicine
Automated Reasoning for Systems Biology and Medicine
Aus101.54 EUR 4
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 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 with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
Aus41.45 EUR 3
Produkt anzeigen
Menü