STEXIDE: An integrated development environment for STEX collections

Jucovschi C, Kohlhase M (2010)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2010

Pages Range: 336-344

Event location: Paris

ISBN: 9783642141270

DOI: 10.1007/978-3-642-14128-7_29

Authors with CRIS profile

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

How to cite

APA:

Jucovschi, C., & Kohlhase, M. (2010). STEXIDE: An integrated development environment for STEX collections. In Proceedings of the 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010 (pp. 336-344). Paris.

MLA:

Jucovschi, Constantin, and Michael Kohlhase. "STEXIDE: An integrated development environment for STEX collections." Proceedings of the 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris 2010. 336-344.

BibTeX: Download