Автор: David Aspinall

Підтримка

1 Електронні книги від David Aspinall

David Aspinall & Jacques Carette: Intelligent Computer Mathematics
This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital …
PDF
Англійська
DRM
€57.88