Publicité
Isabelle
Isabelle - Assistant de preuve générique qui permet d'exprimer des formules mathématiques dans une langue formelle ...
assistant assistant de preuve preuve formaliser la preuve mathématique vérification formelle
Phénoscape
Evolution de la liaison à la génomique en utilisant des ontologies de phénotype ...
formaliser formaliser la description caractère évolutif calculable
Petite caisse
Gardez facilement une trace des dépenses aléatoires. ...