Skip navigation
Strona główna
Przeglądaj:
Zespoły i Kolekcje
Przeglądaj przez:
Data wydania
Autor
Tytuł
Temat
Data zamieszczenia
Typ dokumentu
O RUB
Polityka
Regulamin
DOI
Instrukcja deponowania
FAQ
Aspekty prawne
Open Access
Strona Uczelni
Strona Biblioteki
Zespoły RUB
Biblioteki
Centrum Edukacji Ustawicznej
Czasopisma naukowe
Doktoraty
Instytut Filozofii
Instytut Informatyki
Instytut Socjologii
Instytut Studiów Kulturowych
Instytut Zarądzania
Katedra Teologii Katolickiej
Katedra Teologii Prawosławnej
Konferencje naukowe i edukacyjne
Studium Praktycznej Nauki Języków Obcych
Szkoły Doktorskie
Wydawnictwa
Wydział Biologii
Wydział Chemii
Wydział Ekonomiczno-Informatyczny w Wilnie
Wydział Ekonomii i Finansów
Wydział Filologiczny
Wydział Fizyki
Wydział Historii i Stosunków Międzynarodowych
Wydział Matematyki
Wydział Nauk o Edukacji
Wydział Prawa
Pomoc
Moje konto:
Mój RUB
Zaloguj się
Zarejestruj się
REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
Repozytorium Uniwersytetu w Białymstoku
Szukanie zaawansowane
Zespoły i Kolekcje
Zaloguj się
Zarejestruj się
Mój RUB
FAQ
Polityka
Regulamin
DOI
Instrukcja
Aspekty prawne
Open Access
Archiwum
Kontakt
O Dspace
Strona Biblioteki
Strona Uczelni
Instytut Informatyki / Institute of Informatics : [113]
Strona domowa zespołu
Zobacz statystyki
Ostatnie Zgłoszenia
Elementary Number Theory Problems. Part III
Prime Representing Polynomial
Chaim Zelig Słonimski. Uczony z Białegostoku
Aleksandr Aleksandrowicz Bogdanow (1873–1928). Ideolog raju na Marsie
On Weakly Associative Lattices and Near Lattices
Elementary Number Theory Problems. Part II
Partial Correctness of an Algorithm Computing Lucas Sequences
General Theory and Tools for Proving Algorithms in Nominative Data Systems
Formalization of Quasilattices
Grothendieck Universes
Partial Correctness of a Fibonacci Algorithm
On Fuzzy Negations Generated by Fuzzy Implications
Elementary Number Theory Problems. Part I
Developing Complementary Rough Inclusion Functions
Formal Development of Rough Inclusion Functions
AIM Loops and the AIM Conjecture
Partial Correctness of a Power Algorithm
Partial Correctness of a Factorial Algorithm
Formalization of the MRDP Theorem in the Mizar System
Diophantine Sets. Part II
Przeglądaj
Kolekcje w zespole
Artykuły naukowe (IInf)
[107]
Książki/Rozdziały (IInf)
[0]
Materiały dydaktyczne (IInf)
[0]
Materiały konferencyjne (IInf)
[2]
Prace doktorskie (IInf)
[0]
Prace dyplomowe (IInf)
[2]
Sprawozdania/Raporty (IInf)
[1]
Varia (IInf)
[1]
Odkryj
Autor
40
Korniłowicz, Artur
33
Pąk, Karol
32
Grabowski, Adam
9
Shidama, Yasunari
7
Naumowicz, Adam
6
Ivanov, Ievgen
6
Nikitchenko, Mykola
4
Jaszczak, Adrian
3
Coghetto, Roland
3
Schwarzweller, Christoph
.
następny >
Temat
8
nominative data
7
program verification
6
Hilbert’s 10th problem
4
03B35
4
foundations of geometry
4
fuzzy set
4
rough set
3
Diophantine relations
3
divisibility
3
fuzzy logic
.
następny >
Data wydania
12
2020 - 2022
94
2010 - 2019
7
2009 - 2009
Posiada pliki pozycji
113
true