Aktivitaet2017

Aus International Center for Computational Logic

Version vom 15. Januar 2015, 11:32 Uhr von Norbert Manthey (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Mitglied des Programmkomitees der 17. internationalen SAT Konferenz |Beschreibung EN=Member of the program committee of the 17th…“)

(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

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

Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Aktivitaet2017&oldid=9567“

Aktivität