Lectures This Week (25 and 27 September)
The lecture today about DPLL will be given by Martin Giese, the lecture on Thursday about Description Logic will be given by Leif Harald Karlsen; there will also be a group session on Friday.
Publisert 25. sep. 2018 09:59
- Sist endret 25. sep. 2018 10:00