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
A Machine-Checked Implementation of Buchberger's Algorithm
Journal of Automated Reasoning
An Authoring Tool for Informal and Formal Requirements Specifications
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Argumentation in Explanations to Logical Problems
ICCS '01 Proceedings of the International Conference on Computational Sciences-Part I
Isar - A Generic Interpretative Approach to Readable Formal Proof Documents
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Formalizing Stålmarck's Algorithm in Coq
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Computer-Assisted Mathematics at Work (The Hahn-Banach Theorem in Isabelle/Isar)
TYPES '99 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
Presenting Proofs in a Human-Oriented Way
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Presenting Mathematical Concepts as an Example for Inference-Rich Domains
NLDB '00 Proceedings of the 5th International Conference on Applications of Natural Language to Information Systems-Revised Papers
Journal of Functional Programming
A multilingual natural-language interface to regular expressions
FSMNLP '09 Proceedings of the International Workshop on Finite State Methods in Natural Language Processing
Colouring Proofs: A Lightweight Approach to Adding Formal Structure to Proofs
Electronic Notes in Theoretical Computer Science (ENTCS)
An extensible proof text editor
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Translating between language and logic: what is easy and what is difficult
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Translating formal software specifications to natural language
LACL'05 Proceedings of the 5th international conference on Logical Aspects of Computational Linguistics
Hi-index | 0.00 |