A Dichotomy Theorem for the Inverse Satisfiability Problem
- Datum
- 24.10.2017
- Zeit
- 11:00 - 12:00
- Sprecher
- Biman Roy
- Zugehörigkeit
- Linköping University
- Sprache
- en
- Hauptthema
- Mathematik
- Andere Themen
- Mathematik
- Host
- Dr. E. Lehtonen
- Links
Letztmalig verändert: 26.10.2017, 17:42:56
Veranstaltungsort
TUD Willers-Bau (WIL C 115)Zellescher Weg12-1401069Dresden
- Homepage
- https://navigator.tu-dresden.de/etplan/wil/00
Veranstalter
TUD MathematikWillersbau, Zellescher Weg12-1401069Dresden
- Telefon
- 49-351-463 33376
- Homepage
- http://tu-dresden.de/mathematik
Scannen Sie diesen Code mit Ihrem Smartphone and bekommen Sie die Veranstaltung direkt in Ihren Kalender. Sollten Sie Probleme beim Scannen haben, vergrößern Sie den Code durch Klicken darauf.
Legende
- Ausgründung/Transfer
- Bauing., Architektur
- Biologie
- Chemie
- Elektro- u. Informationstechnik
- für Schüler:innen
- Gesellschaft, Philos., Erzieh.
- Informatik
- Jura
- Maschinenwesen
- Materialien
- Mathematik
- Medizin
- Physik
- Psychologie
- Sprache, Literatur und Kultur
- Umwelt
- Verkehr
- Weiterbildung
- Willkommen
- Wirtschaft