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

4

Identyfikatory

Okładka

Zawartość wolumenu

4
- artykuł: Dilworth's Decomposition Theorem for Posets (Rudnicki P.), s. 223-232
- artykuł: Complex Integral (Yamazaki M., Yamazaki H., Shidama Y., Wasaki K.), s. 233-236
- artykuł: On the Lattice of Intervals and Rough Sets (Grabowski A., Jastrzębska M.), s. 237-244
- artykuł: Basic Properties of Periodic Functions (Li B., Li D., Men Y., Liang X.), s. 245-248
- artykuł: Epsilon Numbers and Cantor Normal Form (Bancerek G.), s. 249-256

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