Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:25461842n
Noun Named Entity
Categories: Étudiant de l'université pontificale catholique de Rio de Janeiro, Informaticien brésilien, Personnalité de Microsoft, Personnalité brésilienne en informatique
FR
Leonardo de Moura
FR
Leonardo Mendonça de Moura est un informaticien brésilien, chercheur chez Microsoft Research et l'auteur des assistants de preuve Z3 et Lean. Wikipedia
Definitions
Relations
Sources
FR
Leonardo Mendonça de Moura est un informaticien brésilien, chercheur chez Microsoft Research et l'auteur des assistants de preuve Z3 et Lean. Wikipedia
IS A
être humain
AWARD RECEIVED
prix Herbrand
DOCTORAL ADVISOR
EN
Carlos José Pereira de Lucena
EDUCATED AT
université pontificale catholique de Rio de Janeiro
EMPLOYER
Microsoft Research
GIVEN NAME
Leonardo
OCCUPATION
informaticien
mathématicien
SEX OR GENDER
masculin
Wikipedia
FR
Leonardo de Moura
Wikidata
FR
Leonardo de Moura

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License