[ACM Press the 10th international ACM SIGPLAN symposium - Valencia, Spain (2008.07.15-2008.07.17)] Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08 - Similarity-based reasoning in qualified logic programming
Caballero, Rafael, Rodríguez-Artalejo, Mario, Romero-Díaz, Carlos A.Рік:
2008
Мова:
english
DOI:
10.1145/1389449.1389472
Файл:
PDF, 279 KB
english, 2008