A. Sliżewska; Participants medical distance education - ICT competencesXI Konferencja Technologie Eksploracji i Reprezentacji Wiedzy, Hołny Mejera, Sep 8-10, 2016; Polskie Towarzystwo Informatyczne, Oddział Podlaski Wydział Informatyki
M. Pisarski; Registrations vs Redefinitions in Mizar9th International Conference on Intelligent Computer Mathematics, Białystok, Poland, Jul 25-29, 2016; Faculty of Mathematics and Informatics, University of Białystok (org.)
M. Pisarski; 9th International Conference on Intelligent Computer Mathematics, Białystok, Poland, Jul 25-29, 2016; Faculty of Mathematics and Informatics, University of Białystok (org.)
M. Pisarski; Tarski's geometry and the Euclidean plane in Mizar9th International Conference on Intelligent Computer Mathematics, Białystok, Poland, Jul 25-29, 2016; Faculty of Mathematics and Informatics, University of Białystok (org.)
M. Pisarski; Mizar HandsOn Tutorial9th International Conference on Intelligent Computer Mathematics, Białystok, Poland, Jul 25-29, 2016; Faculty of Mathematics and Informatics, University of Białystok (org.)
M. Pisarski; Enhancement of Mizar Texts with Transitivity Property of Predicates9th International Conference on Intelligent Computer Mathematics, Białystok, Poland, Jul 25-29, 2016; Faculty of Mathematics and Informatics, University of Białystok
M. Pisarski; 9th International Conference on Intelligent Computer Mathematics, Białystok, Poland, Jul 25-29, 2016; Faculty of Mathematics and Informatics, University of Białystok (org.)
M. Pisarski; Accessing the Mizar Library with a Weakly Strict Mizar Parser9th International Conference on Intelligent Computer Mathematics, Białystok, Poland, Jul 25-29, 2016; Faculty of Mathematics and Informatics, University of Białystok (org.)
C. Bagiński; Modeling using surface patches in PIES for elastoplastic boundary value problems12th World Congress on Computational Mechanics and 6th Asia-Pacific Congress on Computational Mechanics, Seul, Korea Południowa, Jul 24-29, 2016; The
C. Bagiński; Generalized Parametrical Integral Equations Systems With NURBS For Modelling The Shape Of The Boundary In Potential Problems12th World Congress on Computational Mechanics and 6th Asia-Pacific Congress on Computational Mechanics, Seul,
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.
