Automated Deduction ' CADE 28

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings (Lecture Notes in Computer Science, Band 12699)

42.79 EUR
Preis aktualisiert am: 22-04-2026 05:17:16
Siehe Produktangebot

Gesponsert Automated Deduction – CADE 28

42.79 EUR
Preis aktualisiert am: 22-04-2026 09:11:01
Siehe Produktangebot

Gesponsert Automated Deduction - CADE 28, Fachbücher von André Platzer, Geoff Sutcliffe

42.79 EUR
Preis aktualisiert am: 21-04-2026 20:57:01
Siehe Produktangebot
Bezeichner
Abmessungen / Gewicht
Hauptmerkmale
André Platzer