SOQE 2017: Workshop on Second-Order Quantifier Elimination and Related Topics

Aus International Center for Computational Logic

Version vom 13. September 2017, 12:43 Uhr von Christoph Wernhard (Diskussion | Beiträge)

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

Wechseln zu:Navigation, Suche

SOQE 2017: Workshop on Second-Order Quantifier Elimination and Related Topics

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=24073“

Veranstaltung