Automatic generating of theorems and constructing models for projective geometry - Meksuła, Joanna (Wydaw. Uniwersytetu Marii Curie-Skłodowskiej)