Logic for Programming, Artificial Intelligence, and Reasoning: Proc./20th International Conference, LPAR-20 2015, Suva, Fiji, November 2015

Logic for Programming, Artificial Intelligence, and Reasoning: Proc./20th International Conference, LPAR-20 2015, Suva, Fiji, November 2015Ред. Davis M., Fehnker A., McIver A., Voronkov A..-Berlin.: Springer, 2015.-Vol. 9450.-640 p.-(Lecture Notes in Computer Science).