If you made any changes in Pure these will be visible here soon.

Search results

  • 2007

    Narrative Structure of Mathematical Tents

    Kamareddine, F. D., Maarek, M., Retel, K. & Wells, J. B., 2007, Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings. Vol. 4573. p. 296-312 (Lecture Notes in Computer Science; vol. 4573).

    Research output: Chapter in Book/Report/Conference proceedingChapter