Formalized Mathematics - Tom 23, Numer 1 (2015) - 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

2015

Tom

23

Numer

1

Identyfikatory

Okładka

Zawartość wolumenu

1
- artykuł: Categorical Pullbacks (Riccardi M.), s. 1-14
- artykuł: Definition and Properties of Direct Sum Decomposition of Groups1 (Nakasho K., Yamazaki H., Okazaki H., Shidama Y.), s. 15-27
- artykuł: Matrix of ℤ-module1 (Futa Y., Okazaki H., Shidama Y.), s. 29-49
- artykuł: σ-ring and σ-algebra of Sets1 (Endou N., Nakasho K., Shidama Y.), s. 51-57
- artykuł: Separability of Real Normed Spaces and Its Basic Properties (Nakasho K., Endou N.), s. 59-65
- artykuł: Equivalent Expressions of Direct Sum Decomposition of Groups1 (Nakasho K., Okazaki H., Yamazaki H., Shidama Y.), s. 67-73

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