You are not logged in |
Back to the list of the institutes
Publications
Conference: Conference on Intelligent Computer Mathematics
Number of publications: 12017
- 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
