Publications

Displaying results 1 to 10 of 505

In: International Conference on Neural Information Processing. International Conference on Neural Information Processing (ICONIP-2017) 24th International Conference on Neural Information Processing November 14-18 Guangzhou China Pages 286-293 10635 ISBN 978-3-319-70095-3 Springer 10/2017.

To the publication

In: 2017 IEEE 30th International Symposium on Computer-Based Medical Systems (CBMS). IEEE International Symposium on Computer-Based Medical Systems (CBMS-2017) Pages 773-774 IEEE Xplore 6/2017.

To the publication

In: 22nd Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-22) January 16-19 Tokio Japan 2017.

To the publication

In: 22nd Asia and South Pacific Design Automation Conference ASP-DAC 2017. Asia and South Pacific Design Automation Conference (ASP-DAC-22) January 16-19 Tokio Japan 2017.

To the publication

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

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