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

2013

Tom

21

Numer

3

Identyfikatory

Okładka

Zawartość wolumenu

3
- artykuł: Double Sequences and Limits (Endou N., Okazaki H., Shidama Y.), s. 163-170
- artykuł: Formalization of the Advanced Encryption Standard. Part I (Arai K., Okazaki H.), s. 171-184
- artykuł: The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space (Narita K., Endou N., Shidama Y.), s. 185-191
- artykuł: Object-Free Definition of Categories (Riccardi M.), s. 193-205
- artykuł: Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order (Yamazaki H., Okazaki H., Nakasho K., Shidama Y.), s. 207-211
- artykuł: Prime Filters and Ideals in Distributive Lattices (Grabowski A.), s. 213-221
- artykuł: Introduction to Formal Preference Spaces (Niewiadomska E., Grabowski A.), s. 223-233

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