Natural mathematical texts vs. programs.
Tamás GergelyKonstantin VershininPublished in: Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Keyphrases
- computer programs
- real world
- case study
- artificial systems
- answer sets
- chinese texts
- data sets
- text files
- syntactic analysis
- automatic programming
- linguistic information
- natural language generation
- fixpoint
- logic programs
- natural language
- search algorithm
- data structure
- keywords
- e learning
- artificial intelligence
- genetic algorithm