Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Rezultaty 91-100 z 149 (Czas wyszukiwania: 0.016 sekund).
Odsłon pozycji:
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 2009 | Collective Operations on Number-Membered Sets | Korniłowicz, Artur | - | - |
| 2013 | Prime Filters and Ideals in Distributive Lattices | Grabowski, Adam | - | - |
| 2013 | Relational Formal Characterization of Rough Sets | Grabowski, Adam | - | - |
| 2014 | Formalization of Generalized Almost Distributive Lattices | Grabowski, Adam | - | - |
| 2014 | Topological Manifolds | Pąk, Karol | - | - |
| 2014 | Tarski Geometry Axioms | Richter, William; Grabowski, Adam; Alama, Jesse | - | - |
| 2014 | Preface | Grabowski, Adam; Shidama, Yasunari | - | - |
| 2014 | Bertrand’s Ballot Theorem | Pąk, Karol | - | - |
| 2009 | The Real Vector Spaces of Finite Sequences are Finite Dimensional | Nakamura, Yatsuka; Korniłowicz, Artur; Oya, Nagato; Shidama, Yasunari | - | - |
| 2012 | Products in Categories without Uniqueness of cod and dom | Korniłowicz, Artur | - | - |
