Publications

Displaying results 1 to 2 of 2

In: 25. International Symposium on Logic-Based Program Synthesis and Transformation. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR-2015) July 13-15 Siena Italy Pages 313-330 Lecture Notes in Computer Science, (LNCS) 9527 Springer-Verlag 11/2015.

To the publication

In: Conference on Intelligent Computer Mathematics 2015. Conference on Intelligent Computer Mathematics (CICM-2015) July 13-17 Washington DC United States Lecture Notes on Artificial Intelligence (LNAI) Springer 7/2015.

To the publication

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