Federacja Bibliotek Cyfrowych

Homepage
Polona
Formalization of fundamental theorem of finite abelian groups in Mizar

Object's details: Formalization of fundamental theorem of finite abelian groups in Mizar

tile.noImage

Provider:Polona

Description

Title:
Formalization of fundamental theorem of finite abelian groups in Mizar
Contributor:
Nakasho, Kazuhisa;
Okazaki, Hiroyuki;
Shidama, Yasunari;
Yamazaki, Hiroshi
Description:
Bibliogr. s. 33.;
dokumenty elektroniczne
Object availability:
free access
Rights:
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.
Date:
2014
Language:
English
Source:
Biblioteka Narodowa
Publisher:
2014.
Relation:
Trends in contemporary computer science
Subject:
Matematyka - komputeryzacja DBN
Identifier:
991033323329705066;
b0000003319139
Data provider:
Polona

Can I use it?:
yes
Type:
other

Similar objects

tile.noImage

Formalization of fundamental theorem of finite abelian groups in Mizar

Date:2014

Type:other

Can I use it?:yes

tile.noImage

Budget imbalance criteria for auctions : a formalized theorem

Creator:Caminati, Marco B.

Date:2014

Type:other

tile.noImage

Formal characterization of almost distributive lattices

Creator:Grabowski, Adam (matematyk)

Date:2014

Type:other

tile.noImage

Trends in contemporary computer science : Podlasie 2014

Date:2014

Type:other

Can I use it?:check license

tile.noImage

Feasible analysis of algorithms with Mizar

Creator:Bancerek, Grzegorz

Date:2014

Type:other

tile.noImage

Improving legibility of proof scripts based on quantity of introduced labels

Creator:Pąk, Karol

Date:2014

Type:other

tile.noImage

On logical and semantic investigations in Kyiv School of Automated Reasoning

Creator:Lâlec'kij, Oleksandr Vadimovič (1947- )

Date:2014

Type:other

tile.noImage

Parallelizing Mizar

Creator:Urban, Josef (1973- )

Date:2014

Type:other

FBC TeNe Project

Project co-financed by European Funds under the Operational Program Digital Poland for 2014-2020 (project no. POPC.02.04.00-00-0012 / 20-00)

More information about the project can be found at: https://tene.fbc.pionier.net.pl

European Funds. Digital Poland

Republic of Poland

Digital Libraries Federation

European Union - European Regional Development Fund

We use files, through the cookie quality improvement layer of our website.For more information, please read the document Privacy Policy