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

From International Center for Computational Logic

Revision as of 12:42, 13 September 2017 by Christoph Wernhard (talk | contribs) (Page created automatically by parser function on page SOQE 2017)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to:navigation, search

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

Conference

Start: 6. December 2017 at 9:00 am
End: 8. December 2017 at 6:00 pm
Research group: Computational Logic
Research group: Automata Theory
Research group: Knowledge Representation and Reasoning
iCal

Workshop on Second-Order Quantifier Elimination and Related Topics

More info at: http://2017.soqe.org/

Retrieved from "https://iccl.inf.tu-dresden.de/w/index.php?title=SOQE_2017/en&oldid=24072"