Elementary Number Theory Problems. Part XII – Primes in Arithmetic Progression
Grabowski, Adam
Relational Formal Characterization of Rough Sets
Grabowski, Adam
Formal Introduction to Fuzzy Implications
Grabowski, Adam
Sequences of Prime Reciprocals. Preliminaries
Grabowski, Adam
Tarski Geometry Axioms. Part IV – Right Angle
Coghetto, Roland, Grabowski, Adam
Formalization of Quasilattices
Kulesza, Dominik, Grabowski, Adam
Binary Relations-based Rough Sets – an Automated Approach
Grabowski, Adam
Introduction to Liouville Numbers
Grabowski, Adam, Korniłowicz, Artur
All Liouville Numbers are Transcendental
Korniłowicz, Artur, Naumowicz, Adam, Grabowski, Adam
Basic Formal Properties of Triangular Norms and Conorms
Grabowski, Adam
Formalizing Two Generalized Approximation Operators
Grabowski, Adam, Sielwiesiuk, Michał
Fundamental Properties of Fuzzy Implications
Grabowski, Adam