assistant de preuve
|
Il y a 6 années
"L’ESA BIC Sud France passe le cap des 50 startups soutenues"
Publié sur compétitivité.gouv.fr, le 08/12/2017 Tags : accompagnement, aéronautique, agriculture, assistant de preuve, Attestis, construction, Diginove, Esa Bic Sud France, formation, imagerie satellite, Made In Plan, médecine, nano-satellites, NanoRaven, navigation, océanographie, PermAgro, réalité augmentée, réalité virtuelle, Revinax, SmartNgo, startup, urbanisme
|
|
Il y a 9 années
"Démocratiser les assistants de preuve"
Publié sur Inria, le 10/02/2015 |