The future of symbolic computation: mathematics versus languages.
Gérard P. HuetPublished in: SIGSAM Bull. (1984)
Keyphrases
- expressive power
- long term
- information retrieval
- artificial intelligence
- database systems
- databases
- computer science
- computer programs
- cross lingual
- language independent
- object oriented languages
- data sets
- computer algebra
- automated deduction
- text summarization
- machine translation
- natural language processing
- case study
- data mining