REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Przeglądaj
Zapisz się do tej kolekcji aby otrzymywać codzienne informacje o nowych dodatkach. RSS Feed RSS Feed RSS Feed
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 10 z 10
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2011Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their SubtermsCaminati, Marco--
2011Sequent Calculus, Derivability, Provability. Gödel's Completeness TheoremCaminati, Marco--
2011First Order Languages: Further Syntax and SemanticsCaminati, Marco--
2011Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order LanguagesCaminati, Marco--
2011Preliminaries to Classical First Order Model TheoryCaminati, Marco--
2011Set of Points on Elliptic Curve in Projective CoordinatesFuta, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari--
2011Continuity of Barycentric Coordinates in Euclidean Topological SpacesPąk, Karol--
2011Brouwer Fixed Point Theorem for SimplexesPąk, Karol--
2011Mazur-Ulam TheoremKorniłowicz, Artur--
2011Brouwer Fixed Point Theorem in the General CasePąk, Karol--
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 10 z 10