The Boolean Solution Problem from the Perspective of Predicate Logic – Extended Version
Aus International Center for Computational Logic
The Boolean Solution Problem from the Perspective of Predicate Logic – Extended Version
Christoph WernhardChristoph Wernhard
Christoph Wernhard
The Boolean Solution Problem from the Perspective of Predicate Logic – Extended Version
Technical Report, TU Dresden, volume 17-01, 2017. Knowledge Representation and Reasoning
The Boolean Solution Problem from the Perspective of Predicate Logic – Extended Version
Technical Report, TU Dresden, volume 17-01, 2017. Knowledge Representation and Reasoning
- Weitere Informationen unter:Further Information: Link
- Projekt:Project: SOA-VBQP
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@techreport{W2017,
author = {Christoph Wernhard},
title = {The Boolean Solution Problem from the Perspective of Predicate
Logic {\textendash} Extended Version},
institution = {TU Dresden},
year = {2017}
}