Opis

• Tytuł:
  Formalization of fundamental theorem of finite abelian groups in Mizar
• Współtwórca:
  Nakasho, Kazuhisa;
  Okazaki, Hiroyuki;
  Shidama, Yasunari;
  Yamazaki, Hiroshi
• Opis:
  Bibliogr. s. 33.;
  dokumenty elektroniczne
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Domena Publiczna. Wolno zwielokrotniać, zmieniać i rozpowszechniać oraz wykonywać utwór, nawet w celach komercyjnych, bez konieczności pytania o zgodę. Wykorzystując utwór należy pamiętać o poszanowaniu autorskich praw osobistych Twórcy.
• Data:
  2014
• Język:
  angielski;
  eng
• Źródło:
  Biblioteka Narodowa
• Wydawca:
  2014.
• Relacja:
  Trends in contemporary computer science
• Temat i słowa kluczowe:
  Matematyka - komputeryzacja DBN
• Identyfikator:
  991033323329705066;
  b0000003319139
• Dostawca danych:
  Polona
• Czy mogę z tego obiektu skorzystać?:
  tak
• Rodzaj zawartości:
  pozostałe