REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Wyszukaj


Aktualne filtry:
Rozpocznij nowe wyszukiwanie
Dodaj filtr:

Uzyj filtrów aby zagęścić wyszukiwanie.


Rezultaty 1-10 z 32 (Czas wyszukiwania: 0.003 sekund).
Odsłon pozycji:
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2014Abstract Reduction Systems and Idea of Knuth-Bendix Completion AlgorithmBancerek, Grzegorz--
2014Algebraic Approach to Algorithmic LogicBancerek, Grzegorz--
2014Semiring of Sets: ExamplesCoghetto, Roland--
2014Torsion Z-module and Torsion-free Z-moduleFuta, Yuichi; Okazaki, Hiroyuki; Nakasho, Kazuhisa; Shidama, Yasunari--
2014Double Series and SumsEndou, Noboru--
2014The Formalization of Decision-Free Petri NetShah, Pratima K.; Kawamoto, Pauline N.; Giero, Mariusz--
2014Term ContextBancerek, Grzegorz--
2014Events of Borel Sets, Construction of Borel Sets and Random Variables for Stochastic FinanceJaeger, Peter--
2014Dual Spaces and Hahn-Banach TheoremNarita, Keiko; Endou, Noboru; Shidama, Yasunari--
2014Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-moduleNakasho, Kazuhisa; Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari--