Federacja Bibliotek Cyfrowych

Strona główna
Polona
Equalities in Mizar

Szczegóły obiektu: Equalities in Mizar

tile.noImage

Instytucja dostarczająca:Polona

Opis

Tytuł:
Equalities in Mizar
Twórca:
Korniłowicz, Artur
Opis:
Bibliogr. s. 68-69.;
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
Ź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:
991033331649705066;
b0000003319350
Dostawca danych:
Polona

Czy mogę z tego obiektu skorzystać?:
tak
Rodzaj zawartości:
pozostałe

Podobne obiekty

tile.noImage

Equalities in Mizar

Twórca:Korniłowicz, Artur

Data:2014

Rodzaj zawartości:pozostałe

tile.noImage

Parallelizing Mizar

Twórca:Urban, Josef (1973- )

Data:2014

Rodzaj zawartości:pozostałe

tile.noImage

Improving legibility of proof scripts based on quantity of introduced labels

Twórca:Pąk, Karol

Data:2014

Rodzaj zawartości:pozostałe

tile.noImage

On logical and semantic investigations in Kyiv School of Automated Reasoning

Twórca:Lâlec'kij, Oleksandr Vadimovič (1947- )

Data:2014

Rodzaj zawartości:pozostałe

tile.noImage

Towards standard environments for formalizing mathematics

Twórca:Grabowski, Adam (matematyk)

Data:2014

Rodzaj zawartości:pozostałe

tile.noImage

Formalization of fundamental theorem of finite abelian groups in Mizar

Data:2014

Rodzaj zawartości:pozostałe

Czy mogę z tego skorzystać?:tak

tile.noImage

Budget imbalance criteria for auctions : a formalized theorem

Twórca:Caminati, Marco B.

Data:2014

Rodzaj zawartości:pozostałe

tile.noImage

Formal characterization of almost distributive lattices

Twórca:Grabowski, Adam (matematyk)

Data:2014

Rodzaj zawartości:pozostałe

Projekt FBC TeNe

Projekt dofinansowany z Funduszy Europejskich w ramach Programu Operacyjnego Polska Cyfrowa na lata 2014-2020 (projekt nr POPC.02.04.00-00-0012/20-00)

Więcej informacji o projekcie znajdziesz na stronie: https://tene.fbc.pionier.net.pl/

Fundusze Europejskie. Polska Cyfrowa

Rzeczpospolita Polska

FBC - Federacja Bibliotek Cyfrowych

Unia Europejska - Europejski Fundusz Rozwoju Regionalnego

Używamy plików cookies, by nieustannie zwiększać komfort przeglądania naszej strony internetowej. W celu uzyskania szczegółowych informacji, prosimy o zapoznanie się z dokumentem Polityki Prywatności