W. Homenda, M. Rybnik; Combining the Syntactic and Semantic Representations of Mizar Proofs13th Federated Conference on Computer Science and Information Systems, Poznań, Poland, Sep 9-12, 2018; Polish Information Processing Society (org.)
W. Homenda, M. Rybnik; 13th Federated Conference on Computer Science and Information Systems, Poznań, Poland, Sep 9-12, 2018; Polish Information Processing Society (org.)
W. Homenda, M. Rybnik; Inference rules for OWL-P in N3Logic13th Federated Conference on Computer Science and Information Systems, Poznań, Poland, Sep 9-12, 2018; Polish Information Processing Society (org.)
W. Homenda, M. Rybnik; Named Property Graphs13th Federated Conference on Computer Science and Information Systems, Poznań, Poland, Sep 9-12, 2018; Polish Information Processing Society (org.)
A. Golińska, M. Goliński; XXXVII Workshop on Geometric Methods in Physics, Białowieża, Poland, Jul 1-7, 2018; Faculty of Mathematics, University of Białystok (org.); UwB, CRM (sponsor)
A. Golińska, M. Goliński; Symmetries of the space of connections on a principal G -bundle and related symplectic structuresXXXVII Workshop on Geometric Methods in Physics, Białowieża, Poland, Jul 1-7, 2018; Faculty of Mathematics, University of
A. Golińska, M. Goliński; XXXVII Workshop on Geometric Methods in Physics, Białowieża, Poland, Jul 1-7, 2018; Faculty of Mathematics, University of Białystok (org.); UwB, CRM (sponsor)
A. Golińska, M. Goliński; The orthogonal systems of functions on lattices of SU(n+1)XXXVII Workshop on Geometric Methods in Physics, Białowieża, Poland, Jul 1-7, 2018; Faculty of Mathematics, University of Białystok (org.); UwB, CRM (sponsor)
A. Golińska, M. Goliński; Generating functions of two–variable Chebyshev polynomialsXXXVII Workshop on Geometric Methods in Physics, Białowieża, Poland, Jul 1-7, 2018; Faculty of Mathematics, University of Białystok (org.); UwB, CRM (sponsor)
A. Golińska, M. Goliński; Deformation of algebroid bracket of differential forms and Poisson manifoldXXXVII Workshop on Geometric Methods in Physics, Białowieża, Poland, Jul 1-7, 2018; Faculty of Mathematics, University of Białystok (org.); UwB,
