Narrative Structure of Mathematical Tents

Fairouz Dib Kamareddine; Manuel Maarek; Krzysztof Retel; Joseph Brian Wells

doi:10.1007/978-3-540-73086-6_24

Narrative Structure of Mathematical Tents

Fairouz Dib Kamareddine, Manuel Maarek, Krzysztof Retel, Joseph Brian Wells

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	English
Title of host publication	Towards Mechanized Mathematical Assistants
Subtitle of host publication	14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
Pages	296-312
Volume	4573
ISBN (Electronic)	978-3-540-73086-6
DOIs	https://doi.org/10.1007/978-3-540-73086-6_24
Publication status	Published - 2007

Publication series

Name	Lecture Notes in Computer Science
Volume	4573
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-540-73086-6_24

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

@inbook{f27ec7da9f124d1db97e7bee43c5469d,

title = "Narrative Structure of Mathematical Tents",

author = "Kamareddine, {Fairouz Dib} and Manuel Maarek and Krzysztof Retel and Wells, {Joseph Brian}",

year = "2007",

doi = "10.1007/978-3-540-73086-6_24",

language = "English",

isbn = "978-3-540-73083-5",

volume = "4573",

series = "Lecture Notes in Computer Science",

pages = "296--312",

booktitle = "Towards Mechanized Mathematical Assistants",

}

Kamareddine, FD , Maarek, M, Retel, K & Wells, JB 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, Lecture Notes in Computer Science, vol. 4573, pp. 296-312. https://doi.org/10.1007/978-3-540-73086-6_24

Narrative Structure of Mathematical Tents. / Kamareddine, Fairouz Dib ; Maarek, Manuel; Retel, Krzysztof et al.
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings. Vol. 4573 2007. p. 296-312 (Lecture Notes in Computer Science; Vol. 4573).

Research output: Chapter in Book/Report/Conference proceeding › Chapter

TY - CHAP

T1 - Narrative Structure of Mathematical Tents

AU - Kamareddine, Fairouz Dib

AU - Maarek, Manuel

AU - Retel, Krzysztof

AU - Wells, Joseph Brian

PY - 2007

Y1 - 2007

U2 - 10.1007/978-3-540-73086-6_24

DO - 10.1007/978-3-540-73086-6_24

M3 - Chapter

SN - 978-3-540-73083-5

VL - 4573

T3 - Lecture Notes in Computer Science

SP - 296

EP - 312

BT - Towards Mechanized Mathematical Assistants

ER -