Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings (Lecture Notes in Computer Science, Band 12699)
Gesponsert
Medimops DE
42.79 EUR
Preis aktualisiert am: 29-04-2026 21:57:56
Gesponsert
SpringerLink DE
42.79 EUR
Preis aktualisiert am: 30-04-2026 00:18:14
Gesponsert
Galaxus.de
42.79 EUR
Preis aktualisiert am: 29-04-2026 17:48:13
Allgemein
Marke
André Platzer
