REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Artykuły naukowe (WMiI) : [91]
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 91
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
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 an Algorithmic Algebra over Simple-Named Complex-Valued Nominative DataIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2018On Algebras of Algorithms and Specifications over Uninterpreted 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--
2018Kleene Algebra of Partial PredicatesKorniłowicz, Artur; Ivanov, Ievgen; Nikitchenko, Mykola--
2017Tarski Geometry Axioms. Part IIICoghetto, Roland; Grabowski, Adam--
2017The Matiyasevich Theorem. PreliminariesPąk, Karol--
2017Formal Introduction to Fuzzy ImplicationsGrabowski, Adam--
2017Simple-Named Complex-Valued Nominative Data – Definition and Basic OperationsIvanov, Ievgen; Nikitchenko, Mykola; Kryvolap, Andrii; Korniłowicz, Artur--
2017Pell’s EquationAcewicz, Marcin; Pąk, Karol--
2017Basel ProblemPąk, Karol; Korniłowicz, Artur--
2017Basel Problem – PreliminariesKorniłowicz, Artur; Pąk, Karol--
2017Basic Formal Properties of Triangular Norms and ConormsGrabowski, Adam--
2017Vieta’s Formula about the Sum of Roots of PolynomialsKorniłowicz, Artur; Pąk, Karol--
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 20 z 91