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

Wo zu kaufen (4) Eigenschaften
Gesponsert
Automated Reasoning
Hugendubel
78.99 EUR
Preis aktualisiert am: 19-09-2026 12:30:35
Siehe Produktangebot
Gesponsert
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II (Lecture Notes in Computer Science, Band 12167)
Medimops DE
79.04 EUR
Preis aktualisiert am: 23-09-2026 11:16:45
Siehe Produktangebot
Gesponsert
Automated Reasoning, Fachbücher von Viorica Sofronie-Stokkermans, Nicolas Peltier
Galaxus.de
79.17 EUR
Preis aktualisiert am: 22-09-2026 18:25:27
Siehe Produktangebot
Gesponsert
Automated Reasoning
SpringerLink DE
79.17 EUR
Preis aktualisiert am: 24-09-2026 00:09:38
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 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: 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ü