Formalized Mathematics, 2014, Volume 22, Issue 1
: [10]
Strona glówna kolekcji
Zobacz statystyki
Spis treści/Content
- Ishida, Kazuhisa / Shidama, Yasunari / Grabowski, Adam
Definition of Flat Poset and Existence Theorems for Recursive Call - Pąk, Karol
Tietze Extension Theorem for n-dimensional Spaces - Pąk, Karol
Brouwer Invariance of Domain Theorem - Shah, Pratima K. / Kawamoto, Pauline N. / Giero, Mariusz
The Formalization of Decision-Free Petri Net - Bancerek, Grzegorz
Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm - Endou, Noboru
Double Series and Sums - Narita, Keiko / Endou, Noboru / Shidama, Yasunari
Dual Spaces and Hahn-Banach Theorem - Coghetto, Roland
Semiring of Sets - Coghetto, Roland
Semiring of Sets: Examples - Grabowski, Adam
Topological Interpretation of Rough Sets
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 10 z 10
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2014 | Topological Interpretation of Rough Sets | Grabowski, Adam | - | - |
2014 | Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm | Bancerek, Grzegorz | - | - |
2014 | Semiring of Sets: Examples | Coghetto, Roland | - | - |
2014 | Double Series and Sums | Endou, Noboru | - | - |
2014 | Dual Spaces and Hahn-Banach Theorem | Narita, Keiko; Endou, Noboru; Shidama, Yasunari | - | - |
2014 | Semiring of Sets | Coghetto, Roland | - | - |
2014 | The Formalization of Decision-Free Petri Net | Shah, Pratima K.; Kawamoto, Pauline N.; Giero, Mariusz | - | - |
2014 | Brouwer Invariance of Domain Theorem | Pąk, Karol | - | - |
2014 | Tietze Extension Theorem for n-dimensional Spaces | Pąk, Karol | - | - |
2014 | Definition of Flat Poset and Existence Theorems for Recursive Call | Ishida, Kazuhisa; Shidama, Yasunari; Grabowski, Adam | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 10 z 10