Login / Signup
Extension Proposal: Records in Pragmatic OpenMath.
Michael Kohlhase
Published in:
CICM Workshops (2014)
Keyphrases
</>
databases
database
machine learning
information retrieval
digital libraries
multiresolution
medical images
attribute values
record linkage