In: Proceedings of the Neurotechnix 2013. International Congress on Neurotechnology, Electronics and Informatics (NEUROTECHNIX-2013), September 18-20, …
In: Proceedings Open Identity Summit 2013. Open Identity Summit (OID-2013), September 9-11, Kloster Banz, Germany, Lecture Notes in Informatics (LNI), …
In: Proceedings of the 26th International Workshop on Description Logics, 2013. International Workshop on Description Logics (DL-13), July 23-26, Ulm, …
Workshop on User Interfaces for Theorem Provers (UITP), July 11, Bremen, Germany, Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. …