Items where Author is "Jamnik, M."

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 3.

Contribution to conference proceedings in the public domain

Stapleton, Gem, Jamnik, M. and Shimojima, Atsushi (2016) Effective Representation of Information: Generalizing Free Rides In: 9th International Conference on the Theory and Application of Diagrams, Philadelphia, USA, 7-10 Aug 2016.

Stapleton, Gem, Jamnik, M. and Masthoff, J. (2009) On the readability of diagrammatic proofs In: Automated Reasoning Workshop, 21-22 April 2009, Liverpool, UK.

Journal article

Urbas, Matej, Jamnik, M. and Stapleton, Gem (2015) Speedith: A reasoner for spider diagrams Journal of Logic, Language and Information, 24 (4). pp. 487-540. ISSN 0925-8531

This list was generated on Tue Jun 19 01:36:04 2018 BST.