Verbalization of high-level formal proofs
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Changing Data Structures in Type Theory: A Study of Natural Numbers
TYPES '00 Selected papers from the International Workshop on Types for Proofs and Programs
On Communicating Proofs in Interactive Mathematical Documents
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Procedural Representation of CIC Proof Terms
Journal of Automated Reasoning
An extensible proof text editor
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
A tactic language for the system Coq
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Generating natural language descriptions of Z test cases
INLG '10 Proceedings of the 6th International Natural Language Generation Conference
Hi-index | 0.00 |