A. Grabowski; Isabelle Formalization of Set Theoretic Structures and Set Comprehensions7th International Conference on Mathematical Aspects of Computer and Information Sciences, Vienna, Austria, Nov 15-17, 2017; SBA Research (org.); FH Technikum Wien
Z. Sadowski; From Data to Pattern Structures: Near Set Approach26th International Workshop on Concurrency, Specification and Programming, Warsaw, Poland, Sep 25-27, 2017; Humboldt University, Warsaw University (org.)
Z. Sadowski; Building algebraic models of logics within Mizar Mathematical Library26th International Workshop on Concurrency, Specification and Programming, Warsaw, Poland, Sep 25-27, 2017; Humboldt University, Warsaw University (org.)
A. Antonevich; Extending Formal Fuzzy Sets with Triangular Norms and Conorms10th Conference of the European Society for Fuzzy Logic and Technology, Warsaw, Poland, Sep 11-15, 2017; Systems Research Institute of the Polish Academy of Sciences (org.)
; Innovative e-portal for prevention and therapeutic programme for treatment of the obesity and overweight in health-tourism13th International Conference on Computational Methods in Science and Engineering, Thessaloniki, Greece, Apr 21-25, 2017;
; Noncommutative differential geometry of quantum (generalized) Weyl algebras13th International Workshop on Differential Geometry and Its Applications, Ploiesti, Romania, Sep 26-28, 2017; Petroleum-Gas University of Ploieşti (org.)
; "Żywa biblioteka"Pokazać - Przekazać, Warszawa, Polska, Aug 25-26, 2017; Centrum Nauki Kopernik (org.)
; Visualization of Mathematical Concepts as a Tool for Breaking Barrier Between Abstraction of Mathematics and Math Understanding in the School 4th East-West Conference on Mathematics Education, Warsaw, Poland, Aug 24-26, 2017; SWPS University (org.)
R. Jankowski, K. Pryszczepko, K. Zajkowski; Mining for formalization environments in the Mizar Mathematical Library8th International Conference on Interactive Theorem Proving, Brasilia, Brazil, Sep 26-29, 2017; University of Brasilia (org.)
; Towards Standardized Mizar Environments38th Information Systems Architecture and Technology, Szklarska Poręba, Poland, Sep 17-19, 2017; Wrocław University of Science and Technology (org.)
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.
