Narrative Structure of Mathematical Tents

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationTowards Mechanized Mathematical Assistants
Subtitle of host publication14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
Pages296-312
Volume4573
ISBN (Electronic)978-3-540-73086-6
DOIs
Publication statusPublished - 2007

Publication series

NameLecture Notes in Computer Science
Volume4573
ISSN (Print)0302-9743

Cite this

Kamareddine, F. D., Maarek, M., Retel, K., & Wells, J. B. (2007). Narrative Structure of Mathematical Tents. In Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings (Vol. 4573, pp. 296-312). (Lecture Notes in Computer Science; Vol. 4573). https://doi.org/10.1007/978-3-540-73086-6_24