Aktivitaet2018
Aus International Center for Computational Logic
Mitglied des Programmkomitees des Pragmatics of SAT Workshops 2014
- Norbert Manthey
- Mitglied des Programmkomitees des Pragmatics of SAT Workshops 2014Member of the program committee of the Pragmatics of SAT Workshops 2014 (★)
- 2014 – 2014
