Granularity-Adaptive Proof Presentation
Schiller, Marvin ; Benzmüller, Christoph 2024 Saarländische Universitäts- und Landesbibliothek
- Link zu diesem Datensatz
-
https://d-nb.info/1331543533
- Titel
-
Granularity-Adaptive Proof Presentation
- Art des Inhalts
- Monographie
- Verfassangaben
- Marvin Schiller, Christoph Benzmüller
- Autor(en)
-
- Schiller, Marvin
- Benzmüller, Christoph
- Verlag
- Saarbrücken : Saarländische Universitäts- und Landesbibliothek [2024]
- Jahr
- Erscheinungsdatum: 2024
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:bsz:291--ds-421284
- Sprache
- eng
- Schlagwörter
-
- Stand
- 21.03.2025 17:00
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
