Formalized Mathematics - Tom 22, Numer 3 (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

3

Identyfikatory

Okładka

Zawartość wolumenu

3
- artykuł: Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module (Nakasho K., Futa Y., Okazaki H., Shidama Y.), s. 189-198
- artykuł: Events of Borel Sets, Construction of Borel Sets and Random Variables for Stochastic Finance (Jaeger P.), s. 199-204
- artykuł: Some Remarkable Identities Involving Numbers (Ziobro R.), s. 205-208
- artykuł: Topological Properties of Real Normed Space (Nakasho K., Futa Y., Shidama Y.), s. 209-223
- artykuł: Algebraic Approach to Algorithmic Logic (Bancerek G.), s. 225-255
- artykuł: Formalization of Generalized Almost Distributive Lattices (Grabowski A.), s. 257-267
- artykuł: Difference of Function on Vector Space over F (Arai K., Wakabayashi K., Okazaki H.), s. 269-275

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