Proceedings3013: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Christoph Wernhard (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Patrick |ErsterAutorNachname=Koopmann |FurtherAuthors=Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard }…“) |
Christoph Wernhard (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
(Eine dazwischenliegende Version desselben Benutzers wird nicht angezeigt) | |||
Zeile 2: | Zeile 2: | ||
|ErsterAutorVorname=Patrick | |ErsterAutorVorname=Patrick | ||
|ErsterAutorNachname=Koopmann | |ErsterAutorNachname=Koopmann | ||
|FurtherAuthors=Sebastian Rudolph | |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}
}