Formalized Mathematics - Tom 19, Numer 2 (2011) - 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

2011

Tom

19

Numer

2

Identyfikatory

Okładka

Zawartość wolumenu

2
- artykuł: Partial Differentiation, Differentiation and Continuity onn-Dimensional Real Normed Linear Spaces (Inoué T., Naumowicz A., Endou N., Shidama Y.), s. 65-68
- artykuł: Differentiable Functions into Real Normed Spaces (Okazaki H., Endou N., Narita K., Shidama Y.), s. 69-72
- artykuł: Conway's Games and Some of their Basic Properties (Nittka R.), s. 73-81
- artykuł: Veblen Hierarchy (Bancerek G.), s. 83-92
- artykuł: Sorting by Exchanging (Bancerek G.), s. 93-102
- artykuł: Linear Transformations of Euclidean Topological Spaces (Pąk K.), s. 103-108
- artykuł: Linear Transformations of Euclidean Topological Spaces. Part II (Pąk K.), s. 109-112
- artykuł: The Axiomatization of Propositional Linear Time Temporal Logic (Giero M.), s. 113-119
- artykuł: Banach Algebra of Bounded Complex-Valued Functionals (Kanazashi K., Okazaki H., Shidama Y.), s. 121-126

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