Formalized Mathematics - Tom 22, Numer 1 (2014) - 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

2014

Tom

22

Numer

1

Identyfikatory

Okładka

Zawartość wolumenu

1
- artykuł: Definition of Flat Poset and Existence Theorems for Recursive Call (Ishida K., Shidama Y., Grabowski A.), s. 1-10
- artykuł: Tietze Extension Theorem for n-dimensional Spaces (Pąk K.), s. 11-19
- artykuł: Brouwer Invariance of Domain Theorem (Pąk K.), s. 21-28
- artykuł: The Formalization of Decision-Free Petri Net (Shah P. K., Kawamoto P. N., Giero M.), s. 29-35
- artykuł: Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm (Bancerek G.), s. 37-56
- artykuł: Double Series and Sums (Endou N.), s. 57-68
- artykuł: Dual Spaces and Hahn-Banach Theorem (Narita K., Endou N., Shidama Y.), s. 69-77
- artykuł: Semiring of Sets (Coghetto R.), s. 79-84
- artykuł: Semiring of Sets: Examples (Coghetto R.), s. 85-88
- artykuł: Topological Interpretation of Rough Sets (Grabowski A.), s. 89-97

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