Mathematicians at the Scottish Café.

Chris Zielinski

Published in: HC (2018)

Keyphrases

computer scientists
automated theorem provers
applied mathematics
data mining
recent advances
researchers and practitioners
information systems
computer science
knowledge discovery