REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Wyszukaj


Aktualne filtry:
Rozpocznij nowe wyszukiwanie
Dodaj filtr:

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


Rezultaty 91-100 z 100 (Czas wyszukiwania: 0.004 sekund).
Odsłon pozycji:
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2018Partial Correctness of GCD AlgorithmIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2018On Two Alternative Axiomatizations of Lattices by McKenzie and SholanderGrabowski, Adam; Sawicki, Damian--
2018Basic Diophantine RelationsAcewicz, Marcin; Pąk, Karol--
2018An Inference System of an Extension of Floyd-Hoare Logic for Partial PredicatesIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2018Fundamental Properties of Fuzzy ImplicationsGrabowski, Adam--
2019Tarski Geometry Axioms. Part IV – Right AngleCoghetto, Roland; Grabowski, Adam--
2019Formalization of the MRDP Theorem in the Mizar SystemPąk, Karol--
2019Diophantine Sets. Part IIPąk, Karol--
2019Partial Correctness of a Factorial AlgorithmJaszczak, Adrian; Korniłowicz, Artur--
2019Partial Correctness of a Power AlgorithmJaszczak, Adrian--