You are about to access our book library "Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings (Lecture Notes in Computer Science Book 8884) full version"
.