Repozytorium Uniwersytetu w Białymstoku: Wyszukaj

Data wydania	Tytuł	Autor(rzy)	Promotor	Redaktor(rzy)
2014	Formalization of Generalized Almost Distributive Lattices	Grabowski, Adam	-	-
2019	Partial Correctness of a Factorial Algorithm	Jaszczak, Adrian; Korniłowicz, Artur	-	-
2018	Diophantine sets. Preliminaries	Pąk, Karol	-	-
2014	Topological Manifolds	Pąk, Karol	-	-
2014	Tarski Geometry Axioms	Richter, William; Grabowski, Adam; Alama, Jesse	-	-
2014	The Formal Construction of Fuzzy Numbers	Grabowski, Adam	-	-
2014	Bertrand’s Ballot Theorem	Pąk, Karol	-	-
2014	A Note on the Seven Bridges of Königsberg Problem	Naumowicz, Adam	-	-
2014	The First Isomorphism Theorem and Other Properties of Rings	Korniłowicz, Artur; Schwarzweller, Christoph	-	-
2013	On Square-Free Numbers	Grabowski, Adam	-	-

Wyszukaj