Automated Reasoning

Ein Fachwerk aus der IJCAR‑Konferenz in Manchester, das innovative Ansätze zur automatischen Beweisführung, formalen Logik und KI zusammenfasst, t ...
Automated Reasoning
Wo zu kaufen (3) Eigenschaften
Gesponsert
Automated Reasoning
Hugendubel
53.49 EUR
Preis aktualisiert am: 10-11-2026 19:44:35
Siehe Produktangebot
Gesponsert
Automated Reasoning: 6th International Joint Conference, I.J.C.A.R. 2012, Manchester, U.K., June 26-29, 2012, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Medimops DE
53.49 EUR
Preis aktualisiert am: 10-11-2026 06:16:23
Siehe Produktangebot
Gesponsert
Automated Reasoning
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 09-11-2026 12:09:40
Siehe Produktangebot

Allgemein

Marke
Springer-Verlag GmbH
ISBN
Springer-Verlag GmbH 3642313647
MPN
Springer-Verlag GmbH 90 black & white illustrations, biograph

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 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.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
Menü