Machine Learner for Automated Reasoning 0.4 and 0.5

Kaliszyk, C., Urban, J., Vyskočil, J.

KALISZYK, C., J. URBAN, and J. VYSKOČIL. Machine Learner for Automated Reasoning 0.4 and 0.5. In: Proceedings of 4th Workshop on Practical Aspects of Automated Reasoning. 4th Workshop on Practical Aspects of Automated Reasoning, Viena, 2014-07-23. Wien: Springer, 2014. p. 1-6.