- Document type:
- Buch
- Author(s):
- Mainzer, Klaus; Schuster, P.; Schwichtenberg, H.
- Title:
- Proof and Computation. Digitization in Mathematics, Computer Science, and Philosophy
- Publisher:
- World Scientific
- Publisher address:
- Singapore
- Year:
- 2018
- Other Issue::
- 0
- Covered by:
- Scopus
- BibTeX