Krzysztof Retel

According to our database, Krzysztof Retel authored at least 1 paper in 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2007

Narrative Structure of Mathematical Texts.

Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007