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 : [108] Strona domowa zespołu Zobacz statystyki

Ostatnie Zgłoszenia

On Weakly Associative Lattices and Near Lattices

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

Tarski Geometry Axioms. Part IV – Right Angle

Fundamental Properties of Fuzzy Implications

Formalizing Two Generalized Approximation Operators

Basic Diophantine Relations

Partial Correctness of GCD Algorithm

Przeglądaj

Kolekcje w zespole

Artykuły naukowe (IInf) [104]

Książki/Rozdziały (IInf) [0]

Materiały dydaktyczne (IInf) [0]

Materiały konferencyjne (IInf) [0]

Prace doktorskie (IInf) [0]

Prace dyplomowe (IInf) [2]

Sprawozdania/Raporty (IInf) [1]

Varia (IInf) [1]