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]
@inproceedings{WisniewskiB16,
title = {Is It Reasonable to Employ Agents in Automated Theorem Proving?},
author = {Max Wisniewski and Christoph Benzmüller},
year = {2016},
doi = {10.5220/0005824702810286},
url = {http://dx.doi.org/10.5220/0005824702810286},
researchr = {https://researchr.org/publication/WisniewskiB16},
cites = {0},
citedby = {0},
pages = {281-286},
booktitle = {Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), Volume 1, Rome, Italy, February 24-26, 2016},
editor = {H. Jaap van den Herik and Joaquim Filipe},
publisher = {SciTePress},
isbn = {978-989-758-172-4},
}