The second conference "Computer Algebra" in Moscow.
Sergei A. AbramovAnna A. RyabenkoTimur M. SadykovPublished in: ACM Commun. Comput. Algebra (2017)
Keyphrases
- computer algebra
- theorem prover
- advances in artificial intelligence
- selected papers
- automated theorem provers
- panel discussion
- computer algebra systems
- cutting edge
- international conference
- knowledge discovery and data mining
- data sets
- asia pacific
- keynote address
- program chairs
- annual conference
- first order logic
- databases and information systems
- genetic algorithm
- koli calling
- real world
- acm sigmis cpr
- database