dr Adam Grabowski

Publikacje

  1. R. Coghetto, A. Grabowski
    Tarski Geometry Axioms. Part V - Half-planes and Planes
    Form. Math. 31 (2023), no. 1, 325-339.
    DOI: 10.2478/forma-2023-0026
  2. A. Grabowski
    Computer-Supported Encoding of Fuzzy Negations and Laws of Contraposition
    2023 IEEE International Conference on Fuzzy Systems, 2023, pp. 1-6.
    DOI: 10.1109/FUZZ52849.2023.10309683
  3. A. Grabowski
    Elementary Number Theory Problems. Part XII - Primes in Arithmetic Progression
    Form. Math. 31 (2023), no. 1, 277-286.
    DOI: 10.2478/forma-2023-0022
  4. A. Grabowski
    On Fuzzy Negations and Laws of Contraposition. Lattice of Fuzzy Negations
    Form. Math. 31 (2023), no. 1, 151-159.
    DOI: 10.2478/forma-2023-0014
  5. A. Grabowski, A. Korniłowicz
    Implementing More Explicit Definitional Expansions in Mizar
    14th International Conference on Interactive Theorem Proving (ITP 2023), (A. Naumowicz, R. Thiemann Ed(s).), vol. 268, (publ. by) Schloss Dagstuhl Leibniz-Zentrum fuer Informatik, 2023, pp. 37:1-37:8.
    DOI: 10.4230/LIPIcs.ITP.2023.37
Uwagi do prezentowanych tutaj danych bibliograficznych proszę kierować do: libmaster@math.uwb.edu.pl .