Rubrique précédente: Supprimer une version préliminaireRubrique suivante: Valider un module de logique applicative


Valider des modules de logique applicative

Un module de logique applicative doit être validé pour appliquer sa logique à un calcul métrique.