Publications

Displaying results 1 to 4 of 4

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: International Journal of Software and Informatics (IJSI) 9 2 ISCAS 8/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

In: Software, Services and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Emeritation. Pages 355-376 Lecture Notes in Computer Science (LNCS) 8950 Springer International Publishing Switzerland 2015.

To the publication

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