Items where Author is "Jamnik, M."

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

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

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

This list was generated on Tue Dec 1 14:43:38 2015 GMT.