Search

Displaying 7 results.
  1. Detection of vacuously true properties
    By : Xu, Xiao[UCL] Directed by : Pecheur, Charles[UCL] (2015) Ecole polytechnique de Louvain

  2. Extension of PyNuSMV SAT toolbox
    By : Feyens, Victor[UCL] Directed by : Pecheur, Charles[UCL] (2018) Ecole polytechnique de Louvain

  3. Création d'une application web de réseau social musical
    By : Ivinza Mbe, Scott[UCL] Directed by : Pecheur, Charles[UCL] (2018) Ecole polytechnique de Louvain

  4. Visualization of data structure in a Python development environment
    By : Detry, Damien[UCL] Directed by : Pecheur, Charles[UCL] (2021) Ecole polytechnique de Louvain