Publications

Displaying results 1 to 4 of 4

In: Workshop on User Interfaces for Theorem Provers (UITP2016). User Interfaces for Theorem Provers (UITP-2016) International Joint Conference on Automated Reasoning IJCAR 2016 July 2 Coimbra Portugal Pages 43-52 Electronic Proceedings in Theoretical Computer Science (EPTCS) 239 Open Publishing Association 1/2017.

To the publication

In: Enhanced Living Environments: From models to technologies. Chapter End-users’ AAL and ELE service scenarios in Pages 101-132 IET Digital Library 2017.

To the publication

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz