Moura, Leonardo de.
Leonardo de Moura informaticien
VIAF ID: 307438739 ( Personal )
Permalink: http://viaf.org/viaf/307438739
Preferred Forms
- 100 0 _ ‡a Leonardo de Moura ‡c informaticien
-
-
- 100 1 _ ‡a Moura, Leonardo de
-
- 100 1 _ ‡a Moura, Leonardo de
-
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Automated deduction : CADE-26 : 26th international conference on automated deduction, Gothenburg, Sweden, August 6-11, 2017 : proceedings | |
CADE-26 | |
Formal methods foundations and applications : 16th Brazilian symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013 : proceedings | |
Formal methods, (Springer) | |
Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings |