Items where Author is "Jamnik, M."

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

Contribution to conference proceedings in the public domain

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 Sat Jun 25 17:05:27 2016 BST.