Joseph Brian Wells

Dr

  • EH14 4AS

    United Kingdom

19992019

Research output per year

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

Research Output

Filter
Chapter
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