Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
Automated Deduction - CADE 28
28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Produkt bewerten
Verlag:
Springer Unsere-Artikel-Nr.: P35265169
EAN: 9783030798758
Erhältlich:
Nicht auf Lager
Zustellung: Di, 04.08.2026
Versand: Kostenlos
CHF 57.50