Proof and Computation: Digitization in Mathematics, Computer Science and Philosophy

Mainzer Klaus Et Al

Proof and Computation: Digitization in Mathematics, Computer Science and Philosophy - World Scientific WSPC 2018

9789813270947

EBOOK


Mathematics