REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Przeglądaj przez Temat 11D45

Skocz do: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
lub wpisz kilka początkowych liter:  
Pokazuję rezultaty 1 do 2 z 2
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2019Diophantine Sets. Part IIPąk, Karol--
2019Formalization of the MRDP Theorem in the Mizar SystemPąk, Karol--