Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Odsłon pozycji:
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2016 | Tarski Geometry Axioms – Part II | Coghetto, Roland; Grabowski, Adam | - | - |
2018 | Formalizing Two Generalized Approximation Operators | Grabowski, Adam; Sielwiesiuk, Michał | - | - |
2014 | Formalization of Generalized Almost Distributive Lattices | Grabowski, Adam | - | - |
2019 | Partial Correctness of a Factorial Algorithm | Jaszczak, Adrian; Korniłowicz, Artur | - | - |
2018 | Diophantine sets. Preliminaries | Pąk, Karol | - | - |
2014 | Topological Manifolds | Pąk, Karol | - | - |
2014 | Tarski Geometry Axioms | Richter, William; Grabowski, Adam; Alama, Jesse | - | - |
2014 | The Formal Construction of Fuzzy Numbers | Grabowski, Adam | - | - |
2014 | Bertrand’s Ballot Theorem | Pąk, Karol | - | - |
2014 | A Note on the Seven Bridges of Königsberg Problem | Naumowicz, Adam | - | - |
Odkryj
Temat
Data wydania