Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings (Lecture Notes in Computer Science, 13385, Band 13385)

Wo zu kaufen (3) Eigenschaften
Gesponsert
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings (Lecture Notes in Computer Science, 13385, Band 13385)
Medimops DE
42.79 EUR
Preis aktualisiert am: 17-10-2026 02:08:35
Siehe Produktangebot
Gesponsert
Automated Reasoning
SpringerLink DE
42.79 EUR
Preis aktualisiert am: 16-10-2026 17:40:59
Siehe Produktangebot
Gesponsert
Automated Reasoning
Hugendubel
42.99 EUR
Preis aktualisiert am: 17-10-2026 09:21:44
Siehe Produktangebot

Allgemein

Marke
Jasmin Blanchette

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 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: 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 with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
Aus41.45 EUR 3
Produkt anzeigen
Automated Reasoning for Systems Biology and Medicine
Automated Reasoning for Systems Biology and Medicine
Aus106.99 EUR 3
Produkt anzeigen
Automated Reasoning and Mathematics
Automated Reasoning and Mathematics
Aus48.99 EUR 3
Produkt anzeigen
Menü