×
  • Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

    Michael Kohlhase Moa Johansson Bruce Miller Leonardo de Moura Frank Tompa (eds.)

Click on cover to enlarge.