SOQE 2017: Workshop on Second-Order Quantifier Elimination and Related Topics
Aus International Center for Computational Logic
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/
