1
Artificial Intelligence and Software Testing : Building systems you can trust [E-Book]
2
Intelligent Computer Mathematics [E-Book] : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings /
3
Intelligent Computer Mathematics [E-Book] : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings /
4
Mathematical Knowledge Management [E-Book] : Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 /