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

2007

Tom

15

Numer

2

Identyfikatory

Okładka

Zawartość wolumenu

2
- artykuł: Combinatorial Grassmannians (Owsiejczuk A.), s. 27-33
- artykuł: The Jordan-Hölder Theorem (Riccardi M.), s. 35-51
- artykuł: Regular Expression Quantifiers -mtonOccurrences (Trybulec M.), s. 53-58
- artykuł: Riemann Indefinite Integral of Functions of Real Variable (Shidama Y., Endou N., Wasaki K.), s. 59-63
- artykuł: Partial Differentiation on Normed Linear Spaces R n (Endou N., Shidama Y., Miyajima K.), s. 65-72

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