IJCAI 2005
Proof General / Eclipse: A Generic Interface for Interactive Proof
Abstract
No abstract is available in the live database for this paper.
Authors
Keywords
No keywords are indexed for this paper.
Context
- Venue
- International Joint Conference on Artificial Intelligence
- Archive span
- 1969-2025
- Indexed papers
- 14525
- Paper id
- 1049087362577124329