Formalized Mathematics - Tom 22, Numer 4 (2014) - 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

2014

Tom

22

Numer

4

Identyfikatory

Okładka

Zawartość wolumenu

4
- artykuł: Torsion Z-module and Torsion-free Z-module (Futa Y., Okazaki H., Nakasho K., Shidama Y.), s. 277-289
- artykuł: The First Isomorphism Theorem and Other Properties of Rings (Korniłowicz A., Schwarzweller C.), s. 291-301
- artykuł: Bidual Spaces and Reflexivity of Real Normed Spaces (Narita K., Endou N., Shidama Y.), s. 303-311
- artykuł: Some Facts about Trigonometry and Euclidean Geometry (Coghetto R.), s. 313-319
- artykuł: The Formal Construction of Fuzzy Numbers (Grabowski A.), s. 321-327

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