Advanced Modules
The following Advanced Modules are offered in the year 17/18:
- Constraints (EMCL-A-KR)
- Knowledge Representation (EMCL-A-KR)
- Logics and Languages for Software Reliability and Security (EMCL-A-LLSRS
- Semantic Technologies (EMCL-A-ST)
EMCL @ NOVA
European Master in Computational Logic
Advanced Modules
The following Advanced Modules are offered in the year 17/18: