Formalized Mathematics - Tom 16, Numer 3 (2008) - 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

2008

Tom

16

Numer

3

Identyfikatory

Okładka

Zawartość wolumenu

3
- artykuł: Model Checking. Part II (Ishida K.), s. 231-245
- artykuł: Modular Integer Arithmetic (Schwarzweller C.), s. 247-252
- artykuł: General Theory of Quasi-Commutative BCI-algebras (Sun T., Pan W., Wu C., Liang X.), s. 253-258
- artykuł: Block Diagonal Matrices (Pąk K.), s. 259-267
- artykuł: Linear Map of Matrices (Pąk K.), s. 269-275
- artykuł: Orthomodular Lattices (Mądra E., Grabowski A.), s. 277-282
- artykuł: Basic Properties and Concept of Selected Subsequence of Zero Based Finite Sequences (Nakamura Y., Ito H.), s. 283-288

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