Automated Reasoning

Wo zu kaufen (3) Eigenschaften
Gesponsert
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I (Lecture Notes in Artificial Intelligence, Band 14739)
Medimops DE
42.79 EUR
Preis aktualisiert am: 28-10-2026 16:01:27
Siehe Produktangebot
Gesponsert
Automated Reasoning
Hugendubel
42.99 EUR
Preis aktualisiert am: 29-10-2026 09:39:07
Siehe Produktangebot
Gesponsert
Automated Reasoning
SpringerLink DE
47.50 EUR
Preis aktualisiert am: 28-10-2026 06:15:00
Siehe Produktangebot

Allgemein

Marke
Springer Nature Switzerland

Eigenschaften

Ähnliche Produkte

Automated Reasoning
Automated Reasoning
Aus69.96 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: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings (Lecture Notes in Computer Science, 13385, Band 13385)
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings (Lecture Notes in Computer Science, 13385, Band 13385)
Aus42.79 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: 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 with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
Aus41.45 EUR 3
Produkt anzeigen
Menü