Proof and computation: digitization in mathematics, computer science, and philosophy
Éditeur :
World Scientific Publishing Co Pte Ltd
ISBN :
9789813270930
Date de publication :
30 juil. 2018
Langue :
Anglais
Pays d'origine :
Singapour