Federacja Bibliotek Cyfrowych

Strona główna
Polona
Improving legibility of proof scripts based on quantity of introduced labels

Szczegóły obiektu: Improving legibility of proof scripts based on quantity of introduced labels

tile.noImage

Instytucja dostarczająca:Polona

Opis

Tytuł:
Improving legibility of proof scripts based on quantity of introduced labels
Twórca:
Pąk, Karol
Opis:
Bibliogr. s. 80-81.;
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:
Automatyczne dowodzenie twierdzeń DBN;
Dowód matematyczny DBN;
Matematyka - komputeryzacja DBN
Identyfikator:
991033332499705066;
b0000003319373
Dostawca danych:
Polona

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

Podobne obiekty

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

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

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

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

Twórca:Frączkiewicz, Augustyn (1796-1883). Autor

Data:1827

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