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: Fr, 28.08.2026
Versand: Kostenlos
CHF 57.50
Spezifikationen
Sprache
- Englisch
Autor
- André Platzer
- Geoff Sutcliffe
Erscheinungsjahr
- 2021
Format
- Buch (Softcover)
Anzahl Seiten
- 664