[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 11617 (12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings) || Integrating Semantic Mathematical Documents and Dynamic Notebooks
Kaliszyk, Cezary, Brady, Edwin, Kohlhase, Andrea, Sacerdoti Coen, ClaudioVolume:
10.1007/97
Year:
2019
Language:
english
DOI:
10.1007/978-3-030-23250-4_19
File:
PDF, 2.05 MB
english, 2019