Login / Signup
Manifest domains: analysis and description.
Dines Bjørner
Published in:
Formal Aspects Comput. (2017)
Keyphrases
</>
wide range
quantitative analysis
structural analysis
machine learning
application domains
data sets
e learning
knowledge base
high level
objective function
digital libraries
automatic analysis