Tactical Diagrammatic Reasoning

Sven Linker, Jim Burton, Mateja Jamnik

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, UITP 2016, Coimbra, Portugal, 2nd July 2016.
DOIs	https://doi.org/10.4204/EPTCS.239.3
Publication status	Published - 2 Jul 2016

Access to Document

@inproceedings{40e35fe95b1e4c28827bcbbf22e5796c,

title = "Tactical Diagrammatic Reasoning",

author = "Sven Linker and Jim Burton and Mateja Jamnik",

year = "2016",

month = jul,

day = "2",

doi = "10.4204/EPTCS.239.3",

language = "English",

booktitle = "Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, UITP 2016, Coimbra, Portugal, 2nd July 2016.",

}

TY - GEN

T1 - Tactical Diagrammatic Reasoning

AU - Linker, Sven

AU - Burton, Jim

AU - Jamnik, Mateja

PY - 2016/7/2

Y1 - 2016/7/2

UR - http://dx.doi.org/10.4204/EPTCS.239.3

U2 - 10.4204/EPTCS.239.3

DO - 10.4204/EPTCS.239.3

M3 - Conference contribution

BT - Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, UITP 2016, Coimbra, Portugal, 2nd July 2016.

ER -