Karel Vaculík, Lubos Popelínsky. Graph Mining for Automatic Classification of Logical Proofs. In Susan Zvacek, Maria Teresa Restivo, James Onohuome Uhomoibhi, Markus Helfert, editors, CSEDU 2014 - Proceedings of the 6th International Conference on Computer Supported Education, Volume 1, Barcelona, Spain, 1-3 April, 2014. pages 563-568, SciTePress, 2014. [doi]
Abstract is missing.