dr Adam Grabowski

Konferencje

  1. A. Grabowski
    Computer-Supported Encoding of Fuzzy Negations and Laws of Contraposition
    2023 IEEE International Conference on Fuzzy Systems, Songdo Incheon, Korea, Aug 13-17, 2023
    IEEE Computational Intelligence Society (org.)
  2. A. Grabowski, A. Korniłowicz*
    Implementing More Explicit Definitional Expansions in Mizar
    14th International Conference on Interactive Theorem Proving, Białystok, Poland, Jul 31 - Aug 4, 2023
    University of Bialystok, Poland (org.)
  • * Presentation
  • ¹ A chairman of a session
  • ² A member of the Organizing Committee
  • ³ Student
Uwagi do prezentowanych tutaj danych proszę kierować do: webmaster@math.uwb.edu.pl