Zapisz się do tej kolekcji aby otrzymywać codzienne informacje o nowych dodatkach.

Data wydania	Tytuł	Autor(rzy)	Promotor	Redaktor(rzy)
2018	Fundamental Properties of Fuzzy Implications	Grabowski, Adam	-	-
2018	Formalizing Two Generalized Approximation Operators	Grabowski, Adam; Sielwiesiuk, Michał	-	-
2018	Basic Diophantine Relations	Acewicz, Marcin; Pąk, Karol	-	-
2018	Partial Correctness of GCD Algorithm	Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola	-	-
2018	An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates	Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola	-	-
2018	On Algebras of Algorithms and Specifications over Uninterpreted Data	Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola	-	-
2018	On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data	Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola	-	-
2018	On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander	Grabowski, Adam; Sawicki, Damian	-	-
2018	Diophantine sets. Preliminaries	Pąk, Karol	-	-
2018	Sequences of Prime Reciprocals. Preliminaries	Grabowski, Adam	-	-
2018	Kleene Algebra of Partial Predicates	Korniłowicz, Artur; Ivanov, Ievgen; Nikitchenko, Mykola	-	-
2017	The Matiyasevich Theorem. Preliminaries	Pąk, Karol	-	-
2017	Tarski Geometry Axioms. Part III	Coghetto, Roland; Grabowski, Adam	-	-
2017	Formal Introduction to Fuzzy Implications	Grabowski, Adam	-	-
2017	Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations	Ivanov, Ievgen; Nikitchenko, Mykola; Kryvolap, Andrii; Korniłowicz, Artur	-	-
2017	Pell’s Equation	Acewicz, Marcin; Pąk, Karol	-	-
2017	Basel Problem	Pąk, Karol; Korniłowicz, Artur	-	-
2017	Basel Problem – Preliminaries	Korniłowicz, Artur; Pąk, Karol	-	-
2017	Basic Formal Properties of Triangular Norms and Conorms	Grabowski, Adam	-	-
2017	Vieta’s Formula about the Sum of Roots of Polynomials	Korniłowicz, Artur; Pąk, Karol	-	-