Techreport3023: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Christoph Wernhard (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christoph |ErsterAutorNachname=Wernhard }} {{Techreport |Title=Heinrich Behmann's Contributions to Second-Order…“) |
Christoph Wernhard (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| (Eine dazwischenliegende Version desselben Benutzers wird nicht angezeigt) | |||
| Zeile 7: | Zeile 7: | ||
|Year=2015 | |Year=2015 | ||
|Institution=TU Dresden | |Institution=TU Dresden | ||
|Type=Knowledge Representation and Reasoning 15-05 | |Type=Knowledge Representation and Reasoning | ||
|Archivierungsnummer=15-05 | |||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Link= | |Link=https://arxiv.org/abs/1712.06868 | ||
|Projekt=SOA-VBQP | |Projekt=SOA-VBQP | ||
|Forschungsgruppe=Wissensverarbeitung | |Forschungsgruppe=Wissensverarbeitung | ||
}} | }} | ||
Aktuelle Version vom 20. Dezember 2017, 08:55 Uhr
Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic
Christoph WernhardChristoph Wernhard
Christoph Wernhard
Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic
Technical Report, TU Dresden, volume 15-05, 2015. Knowledge Representation and Reasoning
Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic
Technical Report, TU Dresden, volume 15-05, 2015. Knowledge Representation and Reasoning
- Weitere Informationen unter:Further Information: Link
- Projekt:Project: SOA-VBQP
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@techreport{W2015,
author = {Christoph Wernhard},
title = {Heinrich Behmann's Contributions to Second-Order Quantifier
Elimination from the View of Computational Logic},
institution = {TU Dresden},
year = {2015}
}
