Compensating the computational bias of spreadsheets with MKM techniques

Kohlhase A, Kohlhase M (2009)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2009

Pages Range: 357-372

Event location: Grand Bend, ON

ISBN: 9783642026133

DOI: 10.1007/978-3-642-02614-0_29

Authors with CRIS profile

Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung

Involved external institutions

Hochschule für angewandte Wissenschaften Neu-Ulm DE Germany (DE)

How to cite

APA:

Kohlhase, A., & Kohlhase, M. (2009). Compensating the computational bias of spreadsheets with MKM techniques. In Proceedings of the 16th Symp. on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2009 and 8th Int. Conf. on Mathematical Knowledge Management, MKM 2009. Held as part of the Confs. on Intelligent Computer Mathematics, CICM 2009 (pp. 357-372). Grand Bend, ON.

MLA:

Kohlhase, Andrea, and Michael Kohlhase. "Compensating the computational bias of spreadsheets with MKM techniques." Proceedings of the 16th Symp. on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2009 and 8th Int. Conf. on Mathematical Knowledge Management, MKM 2009. Held as part of the Confs. on Intelligent Computer Mathematics, CICM 2009, Grand Bend, ON 2009. 357-372.

BibTeX: Download