Federacja Bibliotek Cyfrowych

Homepage
Polona
Parallelizing Mizar

Object's details: Parallelizing Mizar

tile.noImage

Provider:Polona

Description

Tytuł:
Parallelizing Mizar
Twórca:
Urban, Josef (1973- )
Opis:
Bibliogr. s. 121-123.;
dokumenty elektroniczne
Dostępność obiektu:
free access
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:
English;
eng
Źródło:
Biblioteka Narodowa
Wydawca:
2014.
Relacja:
Trends in contemporary computer science
Temat i słowa kluczowe:
Dowód matematyczny DBN;
Matematyka - komputeryzacja DBN;
Mizar (system dowodzenia twierdzeń) DBN
Identyfikator:
991033354439705066;
b0000003319898
Dostawca danych:
Polona

Czy mogę z tego obiektu skorzystać?:
yes
Rodzaj zawartości:
other

Similar objects

tile.noImage

Parallelizing Mizar

Creator:Urban, Josef (1973- )

Date:2014

Type:other

tile.noImage

Equalities in Mizar

Creator:Korniłowicz, Artur

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

Towards standard environments for formalizing mathematics

Creator:Grabowski, Adam (matematyk)

Date:2014

Type:other

tile.noImage

Budget imbalance criteria for auctions : a formalized theorem

Creator:Caminati, Marco B.

Date:2014

Type:other

tile.noImage

Formalization of fundamental theorem of finite abelian groups in Mizar

Date:2014

Type:other

Can I use it?:yes

tile.noImage

Dowody różnych podań z trygonometryi płaskiey i geometryi elementarney : wraz z krótką uwagą nad pewnem rozwinięciem potęgi dwumianu

Creator:Frączkiewicz, Augustyn (1796-1883). Autor

Date:1827

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