REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Artykuły naukowe (IInf) : [98]
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 98
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2020On Fuzzy Negations Generated by Fuzzy ImplicationsGrabowski, Adam--
2020Elementary Number Theory Problems. Part INaumowicz, Adam--
2020Developing Complementary Rough Inclusion FunctionsGrabowski, Adam--
2019Formal Development of Rough Inclusion FunctionsGrabowski, Adam--
2019AIM Loops and the AIM ConjectureBrown, Chad E.; Pąk, Karol--
2019Partial Correctness of a Power AlgorithmJaszczak, Adrian--
2019Partial Correctness of a Factorial AlgorithmJaszczak, Adrian; Korniłowicz, Artur--
2019Formalization of the MRDP Theorem in the Mizar SystemPąk, Karol--
2019Diophantine Sets. Part IIPąk, Karol--
2019Tarski Geometry Axioms. Part IV – Right AngleCoghetto, Roland; Grabowski, Adam--
2018Fundamental Properties of Fuzzy ImplicationsGrabowski, Adam--
2018Formalizing Two Generalized Approximation OperatorsGrabowski, Adam; Sielwiesiuk, Michał--
2018Basic Diophantine RelationsAcewicz, Marcin; Pąk, Karol--
2018Partial Correctness of GCD AlgorithmIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2018An Inference System of an Extension of Floyd-Hoare Logic for Partial PredicatesIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2018On Algebras of Algorithms and Specifications over Uninterpreted DataIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2018On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative DataIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2018On Two Alternative Axiomatizations of Lattices by McKenzie and SholanderGrabowski, Adam; Sawicki, Damian--
2018Diophantine sets. PreliminariesPąk, Karol--
2018Sequences of Prime Reciprocals. PreliminariesGrabowski, Adam--
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 20 z 98