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

Wo zu kaufen (4) Eigenschaften
Gesponsert
Automated Reasoning
Hugendubel
85.49 EUR
Preis aktualisiert am: 23-09-2026 18:26:24
Siehe Produktangebot
Gesponsert
Automated Reasoning, Fachbücher von Viorica Sofronie-Stokkermans, Nicolas Peltier
Galaxus.de
85.59 EUR
Preis aktualisiert am: 22-09-2026 18:25:27
Siehe Produktangebot
Gesponsert
Automated Reasoning
SpringerLink DE
85.59 EUR
Preis aktualisiert am: 24-09-2026 00:09:38
Siehe Produktangebot
Gesponsert
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I (Lecture Notes in Computer Science, Band 12166)
Medimops DE
85.59 EUR
Preis aktualisiert am: 23-09-2026 11:16:45
Siehe Produktangebot

Allgemein

Marke
Nicolas Peltier

Eigenschaften

Ähnliche Produkte

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: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10900)
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10900)
Aus53.49 EUR 4
Produkt anzeigen
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)
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)
Aus53.49 EUR 4
Produkt anzeigen
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings (Lecture Notes in Computer Science)
Aus82.74 EUR 4
Produkt anzeigen
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science, 3097, Band 3097)
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science, 3097, Band 3097)
Aus106.99 EUR 3
Produkt anzeigen
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science, 2083, Band 2083)
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science, 2083, Band 2083)
Aus106.99 EUR 3
Produkt anzeigen
Menü