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,
As part of our website, we use cookies stored on the user's device in order to adapt the website's behavior to the user's individual preferences and for statistical purposes. You can change your cookie settings in your web browser yourself. For more information, please see the Privacy Policy of the University of Białystok. By using this website, you consent to the use of cookies in accordance with your browser settings.
