W BIAŁYMSTOKU
Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Odsłon pozycji:
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 2019 | Partial Correctness of a Factorial Algorithm | Jaszczak, Adrian; Korniłowicz, Artur | - | - |
| 2018 | On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data | Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola | - | - |
| 2018 | On Algebras of Algorithms and Specifications over Uninterpreted Data | Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola | - | - |
| 2019 | Tarski Geometry Axioms. Part IV – Right Angle | Coghetto, Roland; Grabowski, Adam | - | - |
| 2018 | On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander | Grabowski, Adam; Sawicki, Damian | - | - |
| 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 | Basic Diophantine Relations | Acewicz, Marcin; Pąk, Karol | - | - |
| 2018 | Formalizing Two Generalized Approximation Operators | Grabowski, Adam; Sielwiesiuk, Michał | - | - |
| 2012 | Fundamental Group of n-sphere for n ≥ 2 | Riccardi, Marco; Korniłowicz, Artur | - | - |