Repozytorium Uniwersytetu w Białymstoku: Wyszukaj

Data wydania	Tytuł	Autor(rzy)	Promotor	Redaktor(rzy)
2017	Tarski Geometry Axioms. Part III	Coghetto, Roland; Grabowski, Adam	-	-
2017	Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations	Ivanov, Ievgen; Nikitchenko, Mykola; Kryvolap, Andrii; Korniłowicz, Artur	-	-
2015	Characteristic of Rings. Prime Fields	Schwarzweller, Christoph; Korniłowicz, Artur	-	-
2018	Kleene Algebra of Partial Predicates	Korniłowicz, Artur; Ivanov, Ievgen; Nikitchenko, Mykola	-	-
2019	Formalization of the MRDP Theorem in the Mizar System	Pąk, Karol	-	-
2015	Flexary Operations	Pąk, Karol	-	-
2015	Stone Lattices	Grabowski, Adam	-	-
2019	Diophantine Sets. Part II	Pąk, Karol	-	-
2018	On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data	Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola	-	-
2016	Binary Relations-based Rough Sets – an Automated Approach	Grabowski, Adam	-	-

Wyszukaj