- Tytuł:
- Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination
- Autorzy:
-
Doherty, P.
Szałas, A. - Data publikacji:
- 2013
- Słowa kluczowe:
-
approximate reasoning
approximation spaces
knowledge representation
quantifier elimination
rough sets - Pokaż więcej
- Dostawca treści:
- BazTech