Skip to main content
Mémoire UCL
Search form
Search
Home
All theses
FAQ
Submit
Current search
Accès interdit
Master [120] en sciences informatiques
Supervisor
1
Pecheur, Charles
Apply Pecheur, Charles filter
Item date
1
2015
Apply 2015 filter
Faculty
1
Ecole polytechnique de Louvain
Apply Ecole polytechnique de Louvain filter
Degree
Master [120] en sciences informatiques
You are here
Home
»
Search
»
Site
»
sm_creator:"Xu, Xiao"
»
Accès interdit
»
Master [120] en sciences informatiques
»
Search
Search
Sort by
Relevancy
Creation date
Displaying
1
result.
Detection of vacuously true properties
By :
Xu, Xiao
[UCL]
Directed by :
Pecheur, Charles
[UCL]
(2015)
Ecole polytechnique de Louvain