Autor(en): | Binder, David; Schroeder-Heister, Peter; Piecha, Thomas | |
Tübinger Autor(en): |
|
|
Erscheinungsjahr: | 2022-07-07 | |
Reihe: | Trends in Logic; | |
Verlagsangabe: | Springer Link | |
Sprache: | Englisch | |
Referenz zum Volltext: | https://doi.org/10.1007/978-3-030-94926-6 | |
ISSN: |
1572-6126 2212-7313 |
|
ISBN: |
978-3-030-94925-9 978-3-030-94928-0 978-3-030-94926-6 |
|
DDC-Klassifikation: | 004 - Informatik | |
Dokumentart: | Buch | |
Seitenzahl: | XXIV, 552 | |
Zur Langanzeige |