Study Programmes 2015-2016
Pascal Gribomont
Contact : Refer to the ULg directory
Learning units :
| Knowledge representation | Holder | ||||
| Constraint programming projects | Holder | ||||
| Logic | Holder | ||||
| Functional programming | Holder | ||||
| Introduction to Recursive Programming | Holder | ||||
| Concurrent system verification and temporal logic | Holder | ||||
| Elements of probability calculus | Holder | ||||
| Logic II | Holder | ||||