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 8 z 8
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2012Free Term AlgebrasBancerek, Grzegorz--
2012The Friendship TheoremPąk, Karol--
2012Weak Completeness Theorem for Propositional Linear Time Temporal LogicGiero, Mariusz--
2012The Gödel Completeness Theorem for Uncountable LanguagesSchlöder, Julian J.; Koepke, Peter--
2012Transition of Consistency and Satisfiability under Language ExtensionsSchlöder, Julian J.; Koepke, Peter--
2012The Properties of Sets of Temporal Logic SubformulasGiero, Mariusz--
2012Quotient Module of Z-moduleFuta, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari--
2012The Derivations of Temporal Logic FormulasGiero, Mariusz--
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 8 z 8