Proceedings of the 9th international workshop on user interfaces for theorem provers (UITP10), Edinburgh, UK, July 15, 2010. (English) Zbl 1284.68005
Electronic Notes in Theoretical Computer Science 285. Amsterdam: Elsevier. 120 p., electronic only (2012).