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 (3) Eigenschaften
Gesponsert
Automated Reasoning
Hugendubel
85.49 EUR
Preis aktualisiert am: 07-11-2026 10:24:51
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: 09-11-2026 15:14:55
Siehe Produktangebot
Gesponsert
Automated Reasoning
SpringerLink DE
94.50 EUR
Preis aktualisiert am: 09-11-2026 12:14:42
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 for Systems Biology and Medicine
Automated Reasoning for Systems Biology and Medicine
Aus101.54 EUR 4
Produkt anzeigen
Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
Aus41.70 EUR 3
Produkt anzeigen
Automated Reasoning
Automated Reasoning
Aus69.96 EUR 3
Produkt anzeigen
Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
Aus50.45 EUR 3
Produkt anzeigen
Automated Reasoning
Automated Reasoning
Aus42.79 EUR 3
Produkt anzeigen
Menü