-
1
Principles and practice of constraint programming : 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings /
Subjects: Get full text
Online Conference Proceeding Book -
2
-
3
-
4
Logic-based program synthesis and transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised selected papers /
Subjects: Get full text
Online Conference Proceeding Book -
5
Intelligent software methodologies, tools and techniques : 14th International Conference, SoMeT 2015, Naples, Italy, September 15-17, 2015, proceedings /
Subjects: Get full text
Online Conference Proceeding Book -
6
Formal concept analysis : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings /
Subjects: Get full text
Online Conference Proceeding Book -
7
Combinatorics on words : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /
Subjects: Get full text
Online Conference Proceeding Book -
8
Automated deduction in geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised selected papers /
Subjects: Get full text
Online Conference Proceeding Book