REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Artykuły naukowe (WInf) : [134]
Strona glówna kolekcji Zobacz statystyki

Przeglądaj
Zapisz się do tej kolekcji aby otrzymywać codzienne informacje o nowych dodatkach. RSS Feed RSS Feed RSS Feed
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 20 z 134
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2025Elementary Number Theory Problems. Part XIXPąk, Karol--
2025Elementary Number Theory Problems. Part XVIIIGrabowski, Adam--
2025Elementary Number Theory Problems. Part XVIIKorniłowicz, Artur; Naumowicz, Adam--
2025Conway’s Normal Form in the Mizar SystemPąk, Karol--
2025Surreal Dyadic and Real Numbers: A Formal ConstructionPąk, Karol--
2025Surreal Numbers: A Study of Square RootsPąk, Karol--
2024Elementary Number Theory Problems. Part XV – Diophantine EquationsPąk, Karol; Korniłowicz, Artur--
2024Inverse Element for Surreal NumberPąk, Karol--
2024Elementary Number Theory Problems. Part XIV– Diophantine EquationsKorniłowicz, Artur--
2024Elementary Number Theory Problems. Part XIIIKorniłowicz, Artur; Ziobro, Rafał--
2023Tarski Geometry Axioms. Part V – Half-planes and PlanesCoghetto, Roland; Grabowski, Adam--
2023Elementary Number Theory Problems. Part XII – Primes in Arithmetic ProgressionGrabowski, Adam--
2023Elementary Number Theory Problems. Part XINaumowicz, Adam--
2023The Ring of Conway Numbers in MizarPąk, Karol--
2023Integration of Game Theoretic and Tree Theoretic Approaches to Conway NumbersPąk, Karol--
2023Conway Numbers – Formal IntroductionPąk, Karol--
2023Elementary Number Theory Problems. Part X – Diophantine EquationsKorniłowicz, Artur--
2023Elementary Number Theory Problems. Part IXKorniłowicz, Artur--
2023On Fuzzy Negations and Laws of Contraposition. Lattice of Fuzzy NegationsGrabowski, Adam--
2023Elementary Number Theory Problems. Part VIIIKorniłowicz, Artur--
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 20 z 134