Formalized Mathematics - Tom 21, Numer 4 (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

4

Identyfikatory

Okładka

Zawartość wolumenu

4
- artykuł: Coproducts in Categories without Uniqueness of cod and dom (Golinski M., Korniłowicz A.), s. 235-239
- artykuł: Formulation of Cell Petri Nets (Jitsukawa M., Kawamoto P. N., Shidama Y.), s. 241-247
- artykuł: Isometric Differentiable Functions on Real Normed Space (Futa Y., Endou N., Shidama Y.), s. 249-260
- artykuł: Differential Equations on Functions from R into Real Banach Space (Narita K., Endou N., Shidama Y.), s. 261-272
- artykuł: Submodule of free Z-module (Futa Y., Okazaki H., Shidama Y.), s. 273-282

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