Skip to main content
Mémoire UCL
Search form
Search
Home
All theses
FAQ
Submit
Current search
Valenduc, Gérard
Accès libre
Louvain School of Management
Glineur, François
Master [120] : ingénieur civil en science des données, à finalité spécialisée
Item date
1
2021
Apply 2021 filter
Faculty
1
Ecole polytechnique de Louvain
Apply Ecole polytechnique de Louvain filter
Degree
Master [120] : ingénieur civil en science des données, à finalité spécialisée
You are here
Home
»
Search
»
Site
»
*:*
»
^Valenduc, Gérard
»
Accès libre
»
^Louvain School of Management
»
Glineur, François
»
Master [120] : ingénieur civil en science des données, à finalité spécialisée
»
Search
Search
Sort by
Relevancy
Creation date
Displaying
1
result.
Proof of concept of an interactive theorem prover system using natural language input
By :
Zarza Davila, Andres
[UCL]
Directed by :
Glineur, François
[UCL]
(2021)
Ecole polytechnique de Louvain