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 (2) 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: 31-08-2026 01:34:04
Siehe Produktangebot
Gesponsert
Automated Reasoning
SpringerLink DE
43.99 EUR
Preis aktualisiert am: 31-08-2026 08:47:02
Siehe Produktangebot

Allgemein

Marke
Jasmin Blanchette

Eigenschaften

Ähnliche Produkte

Automated Reasoning for Systems Biology and Medicine
Automated Reasoning for Systems Biology and Medicine
Produkt anzeigen
Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
Produkt anzeigen
Automated Reasoning for Systems Biology and Medicine
Automated Reasoning for Systems Biology and Medicine
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)
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)
Produkt anzeigen
Automated Reasoning and Mathematics
Automated Reasoning and Mathematics
Produkt anzeigen
Menü