Z. Grabowiecka; An Experiment on Mizar Adjectives with Visible Arguments22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, Sep 1-4, 2020; Department of Computer Science, West University of
E. Schmeidel; 13th International Conference on Intelligent Computer Mathematics, Bertinoro, Italy, Jul 26-31, 2020; University of Bologna (org.)
E. Schmeidel; Dataset Description: Formalization of Elementary Number Theory in Mizar13th International Conference on Intelligent Computer Mathematics, Bertinoro, Italy, Jul 26-31, 2020; University of Bologna (org.)
M. Hryniewicka; Bootstrap Bias Corrected Cross Validation Applied to Super Learning 20th International Conference on Computational Science, Amsterdam, The Netherlands, Jun 3-5, 2020; University of Amsterdam (org.)
M. Hryniewicka; Towards Prediction of Heart Arrhythmia Onset Using Machine Learning.20th International Conference on Computational Science, Amsterdam, The Netherlands, Jun 3-5, 2020; University of Amsterdam (org.)
M. Hryniewicka; Analysis of ensemble feature selection for correlatedhigh-dimensional RNA-Seq cancer data20th International Conference on Computational Science, Amsterdam, The Netherlands, Jun 3-5, 2020; University of Amsterdam (org.)
M. Hryniewicka; NURBS curves in parametric integral equations system for modeling and solving boundary value problems in elasticity20th International Conference on Computational Science, Amsterdam, The Netherlands, Jun 3-5, 2020; University of
M. Hryniewicka; Modified binary tree in the fast PIES for 2D problems with complex shapes20th International Conference on Computational Science, Amsterdam, The Netherlands, Jun 3-5, 2020; University of Amsterdam (org.)
M. Hryniewicka; Bezier surfaces for modeling inclusions in PIES20th International Conference on Computational Science, Amsterdam, The Netherlands, Jun 3-5, 2020; University of Amsterdam (org.)
K. Janglajew; Grupy addytywne pierścieni łącznychIII Ogólnopolska Konferencja Naukowa Oblicza Algebry, Kraków, Poland, Jun 6-9, 2019; Uniwersytet Pedagogiczny w Krakowie (org.)
