Proof General / Eclipse: A Generic Interface for Interactive Proof
Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. Pages 1587-1587.
Abstract
Daniel Winterstein, David Aspinall, and Christoph Lüth. 2005. Proof General / Eclipse: A Generic Interface for Interactive Proof. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05. IJCAI, 1587–1587. https://ijcai.org/proceedings/2005/342
Winterstein, D., Aspinall, D., & Lüth, C. (2005). Proof General / Eclipse: A Generic Interface for Interactive Proof. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05 (pp. 1587–1587). IJCAI. https://ijcai.org/proceedings/2005/342
@inproceedings{ijcai2005p342,
title = {Proof General / Eclipse: A Generic Interface for Interactive Proof},
author = {Winterstein, Daniel and Aspinall, David and Lüth, Christoph},
booktitle = {Proceedings of the Nineteenth International Joint Conference on
Artificial Intelligence, {IJCAI-05}},
publisher = {International Joint Conferences on Artificial Intelligence},
pages = {1587--1587},
year = {2005},
url = {https://ijcai.org/proceedings/2005/342},
}
TY - CPAPER TI - Proof General / Eclipse: A Generic Interface for Interactive Proof AU - Winterstein, Daniel AU - Aspinall, David AU - Lüth, Christoph T2 - Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05 PB - International Joint Conferences on Artificial Intelligence PY - 2005 SP - 1587 EP - 1587 UR - https://ijcai.org/proceedings/2005/342 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
