6 results
Type of media (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
6 results

Your search for Leonardo de Moura

  1. Cover: Automated Deduction - CADE 26 - Springer
    Leonardo de Moura
    Automated Deduction - CADE 26
    26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
    07/2017
    Springer
    9783319630465 (ISBN)
    E-Book
    PDF
    Other editions
    €85.59
    Available for download
  2. Cover: Intelligent Computer Mathematics - Springer
    Michael Kohlhase | Moa Johansson | Bruce Miller
    Intelligent Computer Mathematics
    9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
    07/2016
    Springer
    9783319425474 (ISBN)
    E-Book
    PDF
    Other editions
    €42.79
    Available for download
  3. Cover: Formal Methods: Foundations and Applications - Springer
    Juliano Iyoda | Leonardo de Moura
    Formal Methods: Foundations and Applications
    16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings
    08/2013
    Springer
    9783642410710 (ISBN)
    E-Book
    PDF
    Other editions
    €48.14
    Available for download
  4. Cover: Formal Methods: Foundations and Applications - Springer
    Juliano Iyoda | Leonardo de Moura
    Formal Methods: Foundations and Applications
    16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings
    09/2013
    Springer
    9783642410703 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €49.22
    Shipment within 7-9 days
  5. Cover: Automated Deduction - CADE 26 - Springer
    Leonardo de Moura
    Automated Deduction - CADE 26
    26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
    07/2017
    Springer
    9783319630458 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €85.59
    Shipment within 10-15 days
  6. Cover: Intelligent Computer Mathematics - Springer
    Michael Kohlhase | Moa Johansson | Bruce Miller
    Intelligent Computer Mathematics
    9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
    07/2016
    Springer
    9783319425467 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €44.94
    Shipment within 10-15 days