Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Odsłon pozycji:
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2014 | Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm | Bancerek, Grzegorz | - | - |
2014 | Algebraic Approach to Algorithmic Logic | Bancerek, Grzegorz | - | - |
2014 | Semiring of Sets: Examples | Coghetto, Roland | - | - |
2014 | Torsion Z-module and Torsion-free Z-module | Futa, Yuichi; Okazaki, Hiroyuki; Nakasho, Kazuhisa; Shidama, Yasunari | - | - |
2014 | Double Series and Sums | Endou, Noboru | - | - |
2014 | The Formalization of Decision-Free Petri Net | Shah, Pratima K.; Kawamoto, Pauline N.; Giero, Mariusz | - | - |
2014 | Term Context | Bancerek, Grzegorz | - | - |
2014 | Events of Borel Sets, Construction of Borel Sets and Random Variables for Stochastic Finance | Jaeger, Peter | - | - |
2014 | Dual Spaces and Hahn-Banach Theorem | Narita, Keiko; Endou, Noboru; Shidama, Yasunari | - | - |
2014 | Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module | Nakasho, Kazuhisa; Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
Odkryj
Temat
Posiada pliki pozycji
- 32 true