Aller au contenu principal
Mémoire UCL
Formulaire de recherche
Rechercher
Accueil
Tous les mémoires
FAQ
Déposer
Promoteur
1
Pecheur, Charles
Apply Pecheur, Charles filter
Année
1
2015
Apply 2015 filter
Faculté
1
Ecole polytechnique de Louvain
Apply Ecole polytechnique de Louvain filter
Diplôme
1
Master [120] en sciences informatiques
Apply Master [120] en sciences informatiques filter
Type d'accès
1
Accès interdit
Apply Accès interdit filter
Vous êtes ici
Accueil
»
Rechercher
»
Site
»
sm_creator:"Xu, Xiao"
»
Rechercher
Rechercher
Sort by
Relevance
Creation date
Affichage:
1
result.
Detection of vacuously true properties
Par :
Xu, Xiao
[UCL]
Directed by :
Pecheur, Charles
[UCL]
(2015)
Ecole polytechnique de Louvain
