Leonardo de Moura
personne
informaticien américain, connu pour les logiciels Lean et Z3
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Leonardo_de_Moura
Lien Wikidata : https://www.wikidata.org/wiki/Q84844322
Propriétés
- genre_personne
- masculin
- nationalite
- États-Unis
- occupation
- mathématicien ou mathématicienne
- p106_all
- mathématicien ou mathématicienne, informaticien ou informaticienne