Course overview
- Date: TBA
- Course level: Beginner Bachelor's & Master's
- Course organiser: Giuseppe Greco
- Other lecturers: TBA
- Forms of tuition: Lectures, work & discussion sessions
- Forms of assessment: Exercises and presentations
- Contact hours: 45
Logic as a Tool for Modelling
Course overview
Copyright © 2024 - Vrije Universiteit Amsterdam