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