Federacja Bibliotek Cyfrowych

Strona główna
Polona
Feasible analysis of algorithms with Mizar

Szczegóły obiektu: Feasible analysis of algorithms with Mizar

tile.noImage

Instytucja dostarczająca:Polona

Opis

Tytuł:
Feasible analysis of algorithms with Mizar
Twórca:
Bancerek, Grzegorz
Opis:
Bibliogr. s. 54-55.;
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:
Algorytmy. DBN;
Matematyka - komputeryzacja DBN
Identyfikator:
991033330359705066;
b0000003319318
Dostawca danych:
Polona

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

Podobne obiekty

tile.noImage

Feasible analysis of algorithms with Mizar

Twórca:Bancerek, Grzegorz

Data:2014

Rodzaj zawartości:pozostałe

tile.noImage

Budget imbalance criteria for auctions : a formalized theorem

Twórca:Caminati, Marco B.

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

Formal characterization of almost distributive lattices

Twórca:Grabowski, Adam (matematyk)

Data:2014

Rodzaj zawartości:pozostałe

tile.noImage

Trends in contemporary computer science : Podlasie 2014

Data:2014

Rodzaj zawartości:pozostałe

Czy mogę z tego skorzystać?:sprawdź warunki licencji

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

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