You are not logged in | Log in

PL /
EN

Conference: Conference on Intelligent Computer Mathematics

Number of publications: 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 July 2016 - 29 July 2016. See in PBN

European Founds

European Social Found

Initiative of Excellence – Research University

HR Excellence in Research

Integrated Development Programme

Polish National Science Centre

Erasmus Without Paper

Erasmus Without Paper