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

2013

Tom

21

Numer

1

Identyfikatory

Okładka

Zawartość wolumenu

1
- artykuł: Analysis of Algorithms: An Example of a Sort Algorithm (Bancerek G.), s. 1-23
- artykuł: The CkSpace (Kanazashi K., Okazaki H., Shidama Y.), s. 25-31
- artykuł: Random Variables and Product of Probability Spaces (Okazaki H., Shidama Y.), s. 33-39
- artykuł: Semantics of MML Query - Ordering (Bancerek G.), s. 41-46
- artykuł: A Test for the Stability of Networks (Rowinska-Schwarzweller A., Schwarzweller C.), s. 47-53
- artykuł: Relational Formal Characterization of Rough Sets (Grabowski A.), s. 55-64
- artykuł: Isomorphisms of Direct Products of Finite Commutative Groups (Okazaki H., Yamazaki H., Shidama Y.), s. 65-74

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