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,
