Intelligent Computer Mathematics - Autexier, Serge; Campbell, John; Rubio, Julio; Siekmann, Jörg; Sorge, Volker; Suzuki, Masakazu; Wiedijk, Freek (Springer Berlin Heidelberg, 2008)
Keywords: Information Technology -- Artificial Intelligence