REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Wyszukaj


Aktualne filtry:
Rozpocznij nowe wyszukiwanie
Dodaj filtr:

Uzyj filtrów aby zagęścić wyszukiwanie.


Rezultaty 1-10 z 28 (Czas wyszukiwania: 0.001 sekund).
Odsłon pozycji:
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2020Developing Complementary Rough Inclusion FunctionsGrabowski, Adam--
2020On Fuzzy Negations Generated by Fuzzy ImplicationsGrabowski, Adam--
2020Elementary Number Theory Problems. Part INaumowicz, Adam--
2020Partial Correctness of a Fibonacci AlgorithmKorniłowicz, Artur--
2020Formalization of QuasilatticesKulesza, Dominik; Grabowski, Adam--
2020Grothendieck UniversesPąk, Karol--
2020Partial Correctness of an Algorithm Computing Lucas SequencesJaszczak, Adrian--
2020General Theory and Tools for Proving Algorithms in Nominative Data SystemsJaszczak, Adrian--
2021On Weakly Associative Lattices and Near LatticesSawicki, Damian; Grabowski, Adam--
2021Elementary Number Theory Problems. Part IIKorniłowicz, Artur; Surowik, Dariusz--