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]
@inproceedings{VaculikP14,
title = {Graph Mining for Automatic Classification of Logical Proofs},
author = {Karel Vaculík and Lubos Popelínsky},
year = {2014},
doi = {10.5220/0004963405630568},
url = {http://dx.doi.org/10.5220/0004963405630568},
researchr = {https://researchr.org/publication/VaculikP14},
cites = {0},
citedby = {0},
pages = {563-568},
booktitle = {CSEDU 2014 - Proceedings of the 6th International Conference on Computer Supported Education, Volume 1, Barcelona, Spain, 1-3 April, 2014},
editor = {Susan Zvacek and Maria Teresa Restivo and James Onohuome Uhomoibhi and Markus Helfert},
publisher = {SciTePress},
isbn = {978-989-758-020-8},
}