dr Adam Grabowski
Publikacje
-
A. Grabowski
Encoding Triangular Norms on Bounded Trellises with Mizar Proof Assistant
2025 IEEE International Conference on Fuzzy Systems, (publ. by) IEEE, 2025, pp. 1-6.
DOI: 10.1109/FUZZ62266.2025.11152116
Uwagi do prezentowanych tutaj danych bibliograficznych proszę kierować do:
libmaster@math.uwb.edu.pl
.