A Small Framework for Proof Checking.

Hans de Nivelle Piotr Witkowski

Published in: PAAR/ESHOL (2008)

Keyphrases

main contribution
evolutionary algorithm
genetic algorithm
theoretical framework
database
data sets
machine learning
e learning
decision trees
digital libraries
lightweight