In: G. Klein; R. Gamboa (Hrsg.). Interactive Theorem Proving ITP 2014. International Conference on Interactive Theorem Proving (ITP-2014), located at …
Workshop on User Interfaces for Theorem Provers (UITP), July 11, Bremen, Germany, Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. …
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI) Intelligent Analytics for Massive Data DFKI Lab Berlin Alt-Moabit 91c 10559 Berlin Deutschland