Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

Improving legibility of proof scripts based on quantity of introduced labels

Szczegóły
Opis

Tytuł:: Improving legibility of proof scripts based on quantity of introduced labels
Autorzy:: Pąk, Karol
Data publikacji:: 2014
Tematy:: Dowód matematyczny
Matematyka - komputeryzacja
Automatyczne dowodzenie twierdzeń
Źródło:: Biblioteka Narodowa
Język:: angielski
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.
http://creativecommons.org/publicdomain/mark/1.0/
Dostawca treści:: Academica
: Inne

Przejdź do źródła

Bibliogr. s. 80-81.

dokumenty elektroniczne

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Improving legibility of proof scripts based on quantity of introduced labels