Items where Author is "Burton, Jim"

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.

Linker, Sven and Burton, Jim and Blake, Andrew (2016) Measuring User Comprehension of Inference Rules in Euler Diagrams. In: Diagrammatic Representation and Inference : 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings. Lecture Notes in Computer Science . Springer, Cham, pp. 32-39. ISBN 9783319423326

Burton, Jim and Linker, Sven (2015) Generating readable diagrammatic proofs. In: 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) :. IEEE, USA. ISBN 9781467374576