Login / Signup

Parallelization in Calculational Forms.

Zhenjiang HuMasato TakeichiWei-Ngan Chin
Published in: POPL (1998)
Keyphrases
  • parallel processing
  • theorem proving
  • data sets
  • data mining
  • machine learning
  • social networks
  • objective function