Proceedings3013: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Christoph Wernhard (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Christoph Wernhard (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
Zeile 2: | Zeile 2: | ||
|ErsterAutorVorname=Patrick | |ErsterAutorVorname=Patrick | ||
|ErsterAutorNachname=Koopmann | |ErsterAutorNachname=Koopmann | ||
|FurtherAuthors=Sebastian Rudolph; Renate A. Schmidt; Christoph Wernhard | |FurtherAuthors=Sebastian Rudolph; Renate A. Schmidt; Christoph Wernhard; | ||
}} | }} | ||
{{Proceedings | {{Proceedings |
Aktuelle Version vom 9. Dezember 2017, 21:57 Uhr
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017)
Patrick KoopmannPatrick Koopmann, Sebastian RudolphSebastian Rudolph, Renate A. SchmidtRenate A. Schmidt, Christoph WernhardChristoph Wernhard
Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017)
Volume 2013 of CEUR Workshop Proceedings, 2017. CEUR-WS.org
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017)
Volume 2013 of CEUR Workshop Proceedings, 2017. CEUR-WS.org
- Weitere Informationen unter:Further Information: Link
- Projekt:Project: SOA-VBQP
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory, Computational LogicComputational Logic, WissensverarbeitungKnowledge Representation and Reasoning
@proceedings{KRSW2017,
author = {Patrick Koopmann and Sebastian Rudolph and Renate A. Schmidt and
Christoph Wernhard},
title = {Proceedings of the Workshop on Second-Order Quantifier
Elimination and Related Topics (SOQE 2017)},
series = {CEUR Workshop Proceedings},
volume = {2013},
publisher = {CEUR-WS.org},
year = {2017}
}