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

2010

Tom

18

Numer

4

Identyfikatory

Okładka

Zawartość wolumenu

4
- artykuł: Sperner's Lemma (Pąk K.), s. 189-196
- artykuł: Counting Derangements, Non Bijective Functions and the Birthday Problem (Kaliszyk C.), s. 197-200
- artykuł: Riemann Integral of Functions R into C (Miyajima K., Kato T., Shidama Y.), s. 201-206
- artykuł: Differentiation of Vector-Valued Functions onn-Dimensional Real Normed Linear Spaces (Inoué T., Endou N., Shidama Y.), s. 207-212
- artykuł: Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables (Okazaki H., Shidama Y.), s. 213-217

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