W BIAŁYMSTOKU
Formalized Mathematics, 2013, Volume 21, Issue 3
: [7]
Strona glówna kolekcji
Zobacz statystyki
Spis treści/Content
- Endou, Noboru / Okazaki, Hiroyuki / Shidama, Yasunari
Double Sequences and Limits - Arai, Kenichi / Okazaki, Hiroyuki
Formalization of the Advanced Encryption Standard. Part I - Narita, Keiko / Endou, Noboru / Shidama, Yasunari
The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space - Riccardi, Marco
Object-Free Definition of Categories - Yamazaki, Hiroshi / Okazaki, Hiroyuki / Nakasho, Kazuhisa / Shidama, Yasunari
Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order - Grabowski, Adam
Prime Filters and Ideals in Distributive Lattices - Niewiadomska, Eliza / Grabowski, Adam
Introduction to Formal Preference Spaces
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 7 z 7
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 2013 | Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order | Yamazaki, Hiroshi; Okazaki, Hiroyuki; Nakasho, Kazuhisa; Shidama, Yasunari | - | - |
| 2013 | Prime Filters and Ideals in Distributive Lattices | Grabowski, Adam | - | - |
| 2013 | Introduction to Formal Preference Spaces | Niewiadomska, Eliza; Grabowski, Adam | - | - |
| 2013 | The Linearity of Riemann Integral on Functions from R into Real Banach Space | Narita, Keiko; Endou, Noboru; Shidama, Yasunari | - | - |
| 2013 | Double Sequences and Limits | Endou, Noboru; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
| 2013 | Object-Free Definition of Categories | Riccardi, Marco | - | - |
| 2013 | Formalization of the Advanced Encryption Standard. Part I | Arai, Kenichi; Okazaki, Hiroyuki | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 7 z 7