Practical Aspects of Declarative Languages: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings 2019 · ENGLISH · PDF View details →
Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings 2016 · ENGLISH · PDF View details →
