NON-CLASSICAL LOGICS & PROOFS (UDEL)
- Module code: CS6031X
- Credits: 2
- Semester: Year-Long
- Department: COMPUTER SCIENCE
- International:
Overview | |
---|---|
Non-classical Logics and Proofs (Universite de Lorraine). |
Learning Outcomes | |
---|---|
Teaching & Learning methods | |
---|---|
Assessment | |
---|---|
Timetable | |
---|---|