Carette - Intelligent Computer Mathematics MKM Calculemus DML and - X555z

Kerber - Intelligent Computer Mathematics International Conference - X555z

Davenport - Intelligent Computer Mathematics 18th Symposium Calcule - X555z

Autexier - Intelligent Computer Mathematics 9th International Confere - X555z

Kaliszyk - Intelligent Computer Mathematics 12th International Confe - X555z

Kamareddine - Intelligent Computer Mathematics 14th International Co - X555z

Watt - Intelligent Computer Mathematics CICM 2014 Joint Events Calc - X555z

Rabe - Intelligent Computer Mathematics 11th International Conferenc - X555z