Login / Signup
Invited talk: Developments, Libraries and Automated Theorem Provers.
Chad Brown
Published in:
FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Keyphrases
</>
invited talk
automated theorem provers
computer algebra
selected papers
knowledge discovery and data mining
digital libraries
artificial intelligence
carefully reviewed and selected from submissions
multimedia
database
association rules
artificial neural networks
australasian database conference