MaLeCoP - Machine Learning Connection Prover

Vyskočil, J.

VYSKOČIL, J. MaLeCoP - Machine Learning Connection Prover. [Software] 2011.