UITP

Keyphrases

Publications

volume 239, 2017

Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, UITP 2016, Coimbra, Portugal, 2nd July 2016. UITP 239 (2017)

2016

2014

volume 167, 2014

Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, UITP 2014, Vienna, Austria, 17th July 2014. UITP 167 (2014)

volume 118, 2013

Proceedings 10th International Workshop On User Interfaces for Theorem Provers, UITP 2012, Bremen, Germany, July 11th, 2012. UITP 118 (2013)

2012

volume 285, 2012

Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, UITP 2010, Edinburgh, UK, July 15, 2010 UITP 285 (2012)