Author: | Schroeder-Heister, Peter | |
Tübinger Autor(en): |
|
|
Issue year: | 2021 | |
Verlagsangabe: | Springer | |
Language: | English | |
ISBN: | 978-3-030-77656-5 | |
DDC Classifikation: | 004 - Data processing and computer science | |
Dokumentart: | BookPart | |
Published in: | Ferreira, F., Kahle, R., Sommaruga, G. (Eds.): Axiomatic Thinking I | |
Show full item record |