Max Wisniewski, Christoph Benzmüller. Is It Reasonable to Employ Agents in Automated Theorem Proving?. In H. Jaap van den Herik, Joaquim Filipe, editors, Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), Volume 1, Rome, Italy, February 24-26, 2016. pages 281-286, SciTePress, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.