Relational Formal Characterization of Rough Sets
Grabowski, Adam
Topological Interpretation of Rough Sets
Grabowski, Adam
All Liouville Numbers are Transcendental
Korniłowicz, Artur, Naumowicz, Adam, Grabowski, Adam
Formal Development of Rough Inclusion Functions
Grabowski, Adam
Tarski Geometry Axioms. Part III
Coghetto, Roland, Grabowski, Adam
On the Permanent of a Matrix
Romanowicz, Ewa, Grabowski, Adam
Formalizing Two Generalized Approximation Operators
Grabowski, Adam, Sielwiesiuk, Michał
Prime Filters and Ideals in Distributive Lattices
Grabowski, Adam
Polygonal Numbers
Grabowski, Adam
Introduction to Liouville Numbers
Grabowski, Adam, Korniłowicz, Artur
Preface
Grabowski, Adam, Shidama, Yasunari
Formalization of Quasilattices
Kulesza, Dominik, Grabowski, Adam