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 33 (Czas wyszukiwania: 0.004 sekund).
Odsłon pozycji:
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2011Set of Points on Elliptic Curve in Projective CoordinatesFuta, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari--
2011Some Properties of p-Groups and Commutative p-GroupsLiang, Xiquan; Li, Dailu--
2011Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their SubtermsCaminati, Marco--
2011The Axiomatization of Propositional Linear Time Temporal LogicGiero, Mariusz--
2011The Definition of Topological ManifoldsRiccardi, Marco--
2011Formalization of Integral Linear SpaceFuta, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari--
2011Banach Algebra of Bounded Complex-Valued FunctionalsKanazashi, Katuhiko; Okazaki, Hiroyuki; Shidama, Yasunari--
2011Sequent Calculus, Derivability, Provability. Gödel's Completeness TheoremCaminati, Marco--
2011Cartesian Products of Family of Real Linear SpacesOkazaki, Hiroyuki; Endou, Noboru; Shidama, Yasunari--
2011Conway's Games and Some of their Basic PropertiesNittka, Robin--