Repozytorium Uniwersytetu w Białymstoku: Wyszukaj

Data wydania	Tytuł	Autor(rzy)	Promotor	Redaktor(rzy)
2020	Partial Correctness of a Fibonacci Algorithm	Korniłowicz, Artur	-	-
2020	Formalization of Quasilattices	Kulesza, Dominik; Grabowski, Adam	-	-
2020	Renamings and a Condition-free Formalization of Kronecker’s Construction	Schwarzweller, Christoph	-	-
2020	Unification of Graphs and Relations in Mizar	Koch, Sebastian	-	-
2020	Grothendieck Universes	Pąk, Karol	-	-
2020	About Graph Unions and Intersections	Koch, Sebastian	-	-
2020	Refined Finiteness and Degree Properties in Graphs	Koch, Sebastian	-	-
2020	Multiplication-Related Classes of Complex Numbers	Ziobro, Rafał	-	-

Wyszukaj