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

4

Identyfikatory

Okładka

Zawartość wolumenu

4
- artykuł: Alexandroff One Point Compactification (Byliński C.), s. 167-170
- artykuł: Arrow's Impossibility Theorem (Wiedijk F.), s. 171-174
- artykuł: Congruences and Quotient Algebras of BCI-algebras (Ding Y., Pang Z.), s. 175-180
- artykuł: Linear Congruence Relation and Complete Residue Systems (Liang X., Yan L., Zhao J.), s. 181-187
- artykuł: Several Integrability Formulas of Special Functions (Peng C., Ge F., Liang X.), s. 189-198
- artykuł: Basic Properties of the Rank of Matrices over a Field (Pąk K.), s. 199-211
- artykuł: Basic Operations on Preordered Coherent Spaces (Grue K., Korniłowicz A.), s. 213-230
- artykuł: Inferior Limit, Superior Limit and Convergence of Sequences of Extended Real Numbers (Yamazaki H., Endou N., Shidama Y., Okazaki H.), s. 231-235
- artykuł: Several Classes of BCK-algebras and their Properties (Sun T., Hu D., Liang X.), s. 237-242
- artykuł: Several Differentiation Formulas of Special Functions. Part VI (Li B., Wang P.), s. 243-250

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