Abstracts of computer algebra papers from 1984 national meeting of American Chemical Society.
S. Kamal AbdaliPublished in: SIGSAM Bull. (1984)
Keyphrases
- computer algebra
- united states
- journal articles
- special issue
- theorem prover
- scientific literature
- artificial intelligence
- special section
- computer algebra systems
- information extraction
- government officials
- socio economic
- information technology
- papers published
- knowledge discovery and data mining
- selected papers
- sustainable development
- human beings
- chemical compounds
- theorem proving
- chemical reaction
- international conference
- text mining
- training set