Aktivitaet2017

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Mitglied des Programmkomitees der 17. internationalen SAT Konferenz


  • Norbert Manthey
  • Mitglied des Programmkomitees der 17. internationalen SAT KonferenzMember of the program committee of the 17th International Conference on Theory and Applications of Satisfiability Testing (★)
  • 2014 – 2014