PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2009 | 18(31) | 25-34
Tytuł artykułu

TWO FORMAL APPROACHES TO ROUGH SETS

Wybrane pełne teksty z tego czasopisma
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
The formalization of rough sets in a way understable to machines seems to be far beyond the test phase. For further research, we try to encode the bunch of classical papers within RST and as the testbed of already developed foundations of the theory we try to adopt the interval set model to put it within the existing set-theory machinery in the Mizar computer-checked repository.
Słowa kluczowe
Rocznik
Numer
Strony
25-34
Opis fizyczny
Rodzaj publikacji
ARTICLE
Twórcy
  • Adam Grabowski, Magdalena Jastrzebska, Institute of Mathematics, University of Bialystok, ul. Akademicka 2, 15-267 Bialystok, Poland
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
CEJSH db identifier
11PLAAAA10162
Identyfikator YADDA
bwmeta1.element.2ca75b2e-808a-3f6b-8a99-6204fb420c84
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.