In: Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-2008), …
Serge Autexier; Christoph Benzmueller; Dominik Dietrich; Marc Wagner
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI) Research Department Embedded Intelligence Trippstadter Str. 122 67663 Kaiserslautern Germany