Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-3 of 3)
Moura, Leonardo de,
1
E-book
2017

Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings


International Conference on Automated Deduction (26th : 2017 : Gothenburg, Sweden)
Cham, Switzerland : Springer, 2017

Rating:

 
 
2
E-book
2013

Formal methods: foundations and applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings


Brazilian Symposium on Formal Methods (16th : 2013 : Brasilia, Brazil)
Heidelberg : Springer, [2013]

Rating:

 
 
3
E-book
2016

Intelligent computer mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016. Proceedings


CICM (Conference) (9th : 2016 : BiaƂystok, Poland)
Switzerland : Springer, 2016

Rating:

 
 
Add Marked to Bag Add All On Page
Locate in results