Natural Language Presentation and Combination of Automatically Generated Proofs.
Bernd I. DahnAndreas WolfPublished in: FroCoS (1996)
Keyphrases
- automatically generated
- natural language
- automatically generate
- manually generated
- automatically generating
- manually created
- automatically created
- manually constructed
- code generator
- multimedia
- knowledge representation
- machine learning
- theorem proving
- mathematical proofs
- natural language processing
- knowledge base
- information retrieval