dr Adam Grabowski

Konferencje

1. A. Grabowski
   Encoding Triangular Norms on Bounded Trellises with Mizar Proof Assistant
   2025 IEEE International Conference on Fuzzy Systems, Reims, France, Jul 6-10, 2025
   IEEE Computational Intelligence Society (org.)
2. A. Grabowski
   Komputerowe modelowanie zbiorów rozmytych w Mizar Mathematical Library (invited talk)
   Sesja sprawozdawcza Uniwersyteckiego Centrum Obliczeniowego 2025, Białystok, Jun 23, 2025
   Uniwersyteckie Centrum Obliczeniowe Uniwersytetu w Białymstoku (org.)
3. A. Grabowski
   Towards aggregation operators over lattice theory in Mizar
   XIX Konferencja Technologie Eksploracji i Reprezentacji Wiedzy, Hołny Mejera, Polska, Sep 8-11, 2025
   Polskie Towarzystwo Informatyczne, Oddział Białostocki: UMB, Wydział Informatyki PB: Wydział Informatyki UwB (org.)