Calmet - Artificial Intelligence and Symbolic Mathematical Computing - X555z

Calmet - Artificial Intelligence and Symbolic Mathematical Computation - X555z

Calmet - Artificial Intelligence and Symbolic Computation 8th Intern - X555z

Aranda-Corral - Artificial Intelligence and Symbolic Computation 12t - X555z

Fleuriot - Artificial Intelligence and Symbolic Computation 13th Int - X555z

Buchberger - Artificial Intelligence and Symbolic Computation 7th In - X555z

Artificial Intelligence and Symbolic Mathematical Computation: International

Calmet - Design and Implementation of Symbolic Computation Systems I - X555z