Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 01/02/2019 → 09/06/2022 |
Logical Foundations of Al Algorithms
- Jensen, Alexander Birch (PhD Student)
- Traytel, Dmitriy (Examiner)
- Villadsen, Jørgen (Main Supervisor)
- Mödersheim, Sebastian Alexander (Supervisor)
- Dix, Jürgen (Examiner)