Konferenzband
Proceedings of the 7th Workshop on User Interfaces for Theorem Provers
Serge Autexier; C. Benzmüller (Hrsg.)
UITP-2006, August 21, Seattle, WA, United States, Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 174, No. 2, Elsevier, 2007.