M. Borowska, E. Oczeretko, W. Półjanowicz
Constructing Examples of Fuzzy Implications within the Mizar Mathematical Library
12th International Conference on Intelligent Computer Mathematics, Prague, Czech Republic, Jul 8-12, 2019
Czech Institute of Informatics, Robotics, and Cybernetics of Czech Technical University in Prague (org.)
