Nie jesteś zalogowany | Zaloguj się

PL /
EN

Konferencja: Conference on Intelligent Computer Mathematics

Liczba publikacji: 1

2017

Karol Pąk, Aleksy Schubert , The impact of proof steps sequence on proof readability - experimental setting, 9th Conference on Intelligent Computer Mathematics, Białystok, Poland, 25 lipca 2016 - 29 lipca 2016. Zobacz w PBN