Cauchy Mean Theorem
Grabowski, Adam
Formalization of Trellises and Tolerance Relations
Grabowski, Adam, Turowski, Franciszek
Preface
Grabowski, Adam, Shidama, Yasunari
Tarski Geometry Axioms
Richter, William, Grabowski, Adam, Alama, Jesse
On the Lattice of Intervals and Rough Sets
Grabowski, Adam, Jastrzębska, Magdalena
Automatization of Ternary Boolean Algebras
Kuśmierowski, Wojciech, Grabowski, Adam