Publikationen

In: 10th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2010). International Conference on Artificial Intelligence and Symbolic Computation (AISC-2010) 10th befindet sich Intelligent Computer Mathematics 2010 (CICM 2010) July 5-10 Paris France Seiten 34-48 Lecture Notes in Computer Science (LNCS) 6167 Springer 2010.

In: Nordic Journal of Computing 13 Seiten 1-20 2006.