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

Fundusze Europejskie

Europejski Fundusz Społeczny

Inicjatywa doskonałości – uczelnia badawcza

HR Excellence in Research

Zintegrowany Program Rozwoju

Narodowe Centrum Nauki

Uniwersytecki System Obsługi Studiów

Internetowa Rejestracja Kandydatów MOST

Erasmus Without Paper

Uniwersytecki System Obsługi Studiów

Internetowa Rejestracja Kandydatów MOST

Erasmus Without Paper