Electronic Notes in Theoretical Computer Science, Volume 103

Volume 103, November 2004

Proceedings of the User Interfaces for Theorem Provers Workshop, UITP 2003
maintained by Schloss Dagstuhl LZI at University of Trier