Home
DCC eCatalog
H.__Herre
Partial logics with two kinds of negation as a foundation of knowledge-based reasoning