Items where Author is "Jamnik, Mateja"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 1.
Contribution in Book/Report/Proceedings
Linker, Sven and Burton, Jim and Jamnik, Mateja (2017) Tactical Diagrammatic Reasoning. In: Proceedings of the 12th Workshop on User Interfaces for Theorem Provers UITP 2016 :. EPTCS . EPTCS, pp. 29-42.