SOQE 2017

Aus International Center for Computational Logic

Version vom 13. September 2017, 12:42 Uhr von Christoph Wernhard (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=SOQE 2017 |Beschreibung EN=Workshop on Second-Order Quantifier Elimination and Related Topics |Veranstaltungsart=Konferenz |Start=201…“)

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

Wechseln zu:Navigation, Suche

SOQE 2017

Konferenz

Beginn: 6. Dezember 2017 um 09:00
Ende: 8. Dezember 2017 um 18:00
Forschungsgruppe: Automatentheorie
Forschungsgruppe: Computational Logic
Forschungsgruppe: Wissensverarbeitung
iCal

Workshop on Second-Order Quantifier Elimination and Related Topics

Weitere Infos unter: http://2017.soqe.org/

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

Veranstaltung