Adam Grabowski. Computer Certification of Generalized Rough Sets Based on Relations. In Lech Polkowski, Yiyu Yao, Piotr Artiemjew, Davide Ciucci, Dun Liu, Dominik Slezak, Beata Zielosko, editors, Rough Sets - International Joint Conference, IJCRS 2017, Olsztyn, Poland, July 3-7, 2017, Proceedings, Part I. Volume 10313 of Lecture Notes in Computer Science, pages 83-94, Springer, 2017. [doi]
Abstract is missing.