Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings - Geuvers, Herman; England, Matthew; Hasan, Osman; Rabe, Florian; Teschke, Olaf (Springer International Publishing, 2017)
Keywords: Artificial intelligence; Mathematical logic; Computer logic; Software engineering; Programming languages (Electronic computers); Computer simulation; Artificial Intelligence; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Simulation and Modeling