Formalized Mathematics - Tom 17, Numer 3 (2009) - 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

2009

Tom

17

Numer

3

Identyfikatory

Okładka

Zawartość wolumenu

3
- artykuł: Basic Properties of Metrizable Topological Spaces (Pąk K.), s. 201-205
- artykuł: Small Inductive Dimension of Topological Spaces (Pąk K.), s. 207-212
- artykuł: On Rough Subgroup of a Group (Liang X., Li D.), s. 213-217
- artykuł: Small Inductive Dimension of Topological Spaces. Part II (Pąk K.), s. 219-222

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ć.