Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference18 articles.
1. The Coq Development Team: The Coq proof assistant reference manual (2005)
2. Asperti, A., Sacerdoti Coen, C., Tassi, E., Zacchiroli, S.: User interaction with the Matita proof assistant. J. Autom. Reason. 39(2), 109–139 (2007)
3. Lecture Notes in Computer Science;C Sacerdoti Coen,2006
4. Lectures Notes in Artificial Intelligence;S Autexier,2006
5. Guidi, F.: Procedural representation of CIC proof terms. J. Autom. Reason. (2009). doi: 10.1007/s10817-009-9137-6
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献