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

3

Identyfikatory

Okładka

Zawartość wolumenu

3
- artykuł: Polish Notation (Huuskonen T.), s. 161-176
- artykuł: Grzegorczyk’s Logics. Part I (Huuskonen T.), s. 177-187
- artykuł: Convergent Filter Bases (Coghetto R.), s. 189-203
- artykuł: Polynomially Bounded Sequences and Polynomial Sequences (Okazaki H., Futa Y.), s. 205-213
- artykuł: Fermat’s Little Theorem via Divisibility of Newton’s Binomial (Ziobro R.), s. 215-229
- artykuł: Weak Convergence and Weak Convergence (Narita K., Shidama Y., Endou N.), s. 231-241
- artykuł: The Orthogonal Projection and the Riesz Representation Theorem (Narita K., Endou N., Shidama Y.), s. 243-252
- artykuł: Extended Real-Valued Double Sequence and Its Convergence (Endou N.), s. 253-277

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