REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Wyszukaj


Aktualne filtry:
Rozpocznij nowe wyszukiwanie
Dodaj filtr:

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


Rezultaty 81-90 z 100 (Czas wyszukiwania: 0.004 sekund).
Odsłon pozycji:
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2017Vieta’s Formula about the Sum of Roots of PolynomialsKorniłowicz, Artur; Pąk, Karol--
2017Basel ProblemPąk, Karol; Korniłowicz, Artur--
2017Tarski Geometry Axioms. Part IIICoghetto, Roland; Grabowski, Adam--
2017The Matiyasevich Theorem. PreliminariesPąk, Karol--
2018Kleene Algebra of Partial PredicatesKorniłowicz, Artur; Ivanov, Ievgen; Nikitchenko, Mykola--
2018Sequences of Prime Reciprocals. PreliminariesGrabowski, Adam--
2018Diophantine sets. PreliminariesPąk, Karol--
2018On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative DataIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2018Formalizing Two Generalized Approximation OperatorsGrabowski, Adam; Sielwiesiuk, Michał--
2018On Algebras of Algorithms and Specifications over Uninterpreted DataIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--