Formalized Mathematics - Tom 24, Numer 2 (2016) - DML-PL - Yadda

Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

Numer - szczegóły

Wydawca

De Gruyter Open

Czasopismo

Formalized Mathematics

Rocznik

2016

Tom

24

Numer

2

Identyfikatory

Okładka

Zawartość wolumenu

2
- artykuł: On Multiset Ordering (Bancerek G.), s. 95-106
- artykuł: Cousin’s Lemma (Coghetto R.), s. 107-119
- artykuł: Chebyshev Distance (Coghetto R.), s. 121-141
- artykuł: Binary Relations-based Rough Sets – an Automated Approach (Grabowski A.), s. 143-155
- artykuł: Tarski Geometry Axioms – Part II (Coghetto R., Grabowski A.), s. 157-166

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.