Criminal Macabre. Last Train to Deadsville

Intelligent Computer Mathematics: Mkm, Calculemus, Dml, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, Uk, July 8-12, 2013, Proceedings (lecture Notes in Computer Science (7961))

Jacques Carette; David Aspinall; Christoph Lange; Petr Sojka; Wolfgang Windsteiger; MKM; CICM

Mcm Brochure