Repozytorium Uniwersytetu w Białymstoku: Instytut Informatyki / Institute of Informatics

REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU

UwB

Zespoły i Kolekcje

Zaloguj się

Zarejestruj się

Mój RUB

FAQ

Polityka

Regulamin

DOI

Instrukcja

Open Access

Archiwum

Kontakt

O Dspace

Strona Biblioteki

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]