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

2009

Tom

17

Numer

1

Identyfikatory

Okładka

Zawartość wolumenu

1
- artykuł: The Real Vector Spaces of Finite Sequences are Finite Dimensional (Nakamura Y., Korniłowicz A., Oya N., Shidama Y.), s. 1-9
- artykuł: Several Integrability Formulas of Some Functions, Orthogonal Polynomials and Norm Functions (Li B., Zhuang Y., Xie B., Wang P.), s. 11-21
- artykuł: Several Integrability Formulas of Special Functions. Part II (Li B., Zhuang Y., Men Y., Liang X.), s. 23-35
- artykuł: Cell Petri Net Concepts (Jitsukawa M., Kawamoto P., Shidama Y., Nakamura Y.), s. 37-42
- artykuł: Arithmetic Operations on Functions from Sets into Functional Sets (Korniłowicz A.), s. 43-60

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