- Titel:
Proof and Computation. Digitization in Mathematics, Computer Science, and Philosophy
- Dokumenttyp:
- Buch
- Autor(en):
- Mainzer, Klaus; Schuster, P.; Schwichtenberg, H.
- Verlag / Institution:
- World Scientific
- Verlagsort:
- Singapore
- Jahr:
- 2018
- Andere Ausgaben:
- 0
- Nachgewiesen in:
- Scopus
- BibTeX