Special issue on the conference ISSAC 2014: Symbolic computation and computer algebra.
Kosaku NagasakaÁgnes SzántóFranz WinklerPublished in: J. Symb. Comput. (2016)
Keyphrases
- special issue
- computer algebra
- theorem prover
- automated deduction
- ecml pkdd
- international journal
- ai edam
- applied intelligence
- selected papers
- international conference
- annual conference
- special section
- computer algebra systems
- automated theorem provers
- advances in artificial intelligence
- invited talk
- knowledge discovery and data mining
- inference rules
- artificial intelligence
- program chairs
- international workshop
- imperative programs
- knowledge base