Autexier S, David C, Kohlhase M, Zholudev V (2011)
Publication Status: Published
Publication Type: Conference contribution, Original article
Publication year: 2011
Pages Range: 164-179
Event location: Bertinoro
ISBN: 9783642226724
DOI: 10.1007/978-3-642-22673-1_12
APA:
Autexier, S., David, C., Kohlhase, M., & Zholudev, V. (2011). Workflows for the management of change in science, technologies, engineering and mathematics. In Proceedings of the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011 and 10th International Conference on Mathematical Knowledge Management, MKM 2011 (pp. 164-179). Bertinoro.
MLA:
Autexier, Serge, et al. "Workflows for the management of change in science, technologies, engineering and mathematics." Proceedings of the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011 and 10th International Conference on Mathematical Knowledge Management, MKM 2011, Bertinoro 2011. 164-179.
BibTeX: Download