Showing 1 - 2 results of 2 for search 'de Moura, Leonardo', query time: 0.01s Refine Results
  1. 1
    Automated Deduction – CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings /
    Published 2017
    Other Authors: “…de Moura, Leonardo…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings /
    Published 2016
    Other Authors: “…de Moura, Leonardo…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search