1st International IMACS Conference on Applications of Computer Algebra.
Robert GrossmanPublished in: SIGSAM Bull. (1995)
Keyphrases
- computer algebra
- databases and information systems
- theorem prover
- selected papers
- national science foundation
- computer science
- acm conference
- computer algebra systems
- san diego supercomputer center
- artificial intelligence and law
- asia pacific
- annual conference
- advances in artificial intelligence
- workshop proceedings
- automated theorem provers
- conference proceedings
- graphics and image processing
- researchers and practitioners
- international conference
- special session
- international trade
- inference rules
- invited speakers
- natural language