Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Odsłon pozycji:
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 2020 | Partial Correctness of an Algorithm Computing Lucas Sequences | Jaszczak, Adrian | - | - |
| 2020 | On Fuzzy Negations Generated by Fuzzy Implications | Grabowski, Adam | - | - |
| 2021 | Derivation of Commutative Rings and the Leibniz Formula for Power of Derivation | Watase, Yasushige | - | - |
| 2023 | Embedding Principle for Rings and Abelian Groups | Watase, Yasushige | - | - |
| 2020 | Extended Natural Numbers and Counters | Koch, Sebastian | - | - |
| 2020 | About Graph Unions and Intersections | Koch, Sebastian | - | - |
| 2020 | Reconstruction of the One-Dimensional Lebesgue Measure | Endou, Noboru | - | - |
| 2020 | Unification of Graphs and Relations in Mizar | Koch, Sebastian | - | - |
| 2021 | Inverse Function Theorem. Part I | Nakasho, Kazuhisa; Futa, Yuichi | - | - |
| 2020 | Partial Correctness of a Fibonacci Algorithm | Korniłowicz, Artur | - | - |
