Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France | Kaicus Deutschland

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II (Lecture Notes in Computer Science, Band 12167)

79.04 EUR 3% Off 81.39 EUR

Marke: Nicolas Peltier
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
81.39 EUR 81.39 EUR
08-08-2026 03:35:09