On the computer - checked solution of the Kuratowski closure - complement problem

03.08.2021

M. Schroeder

On the computer - checked solution of the Kuratowski closure - complement problem

30 Years of Mizar, Białowieża, Poland, Sep 18, 2004

University of Białystok, Białystok University of Technology (org.)

©2022 Wszystkie prawa zastrzeżone.