Graph Mining for Automatic Classification of Logical Proofs.

Karel Vaculk, Lubos Popelnsk

Browse the full CSEDU paper archive.