Object's details: Formalization of fundamental theorem of finite abelian groups in Mizar
Provider:Polona
Description
- Tytuł:
- Współtwórca:
- Opis:
- Dostępność obiektu:
- Prawa:
- Data:
- Język:
- Źródło:
- Wydawca:
- Relacja:
- Temat i słowa kluczowe:
- Identyfikator:
- Dostawca danych:
- Czy mogę z tego obiektu skorzystać?:
- Rodzaj zawartości:
Similar objects
Date:2014
Type:other
Can I use it?:yes
Creator:Caminati, Marco B.
Date:2014
Type:other
Creator:Grabowski, Adam (matematyk)
Date:2014
Type:other
Date:2014
Type:other
Can I use it?:check license
Creator:Bancerek, Grzegorz
Date:2014
Type:other
Creator:Pąk, Karol
Date:2014
Type:other
Creator:Lâlec'kij, Oleksandr Vadimovič (1947- )
Date:2014
Type:other
Creator:Urban, Josef (1973- )
Date:2014
Type:other
