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

Polityka

Regulamin

Instrukcja

Open Access

Archiwum

Kontakt

O Dspace

Strona Biblioteki

Instytut Informatyki / Institute of Informatics : [97] Strona domowa zespołu Zobacz statystyki

Ostatnie Zgłoszenia

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

An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates

On Algebras of Algorithms and Specifications over Uninterpreted Data

On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data

On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander

Diophantine sets. Preliminaries

Sequences of Prime Reciprocals. Preliminaries

Kleene Algebra of Partial Predicates

The Matiyasevich Theorem. Preliminaries

Tarski Geometry Axioms. Part III

Formal Introduction to Fuzzy Implications

Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations

Przeglądaj

Kolekcje w zespole

Artykuły naukowe (IInf) [93]

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]