Login / Signup

Zen and the art of formalisation.

Andrea AspertiJeremy Avigad
Published in: Math. Struct. Comput. Sci. (2011)
Keyphrases
  • databases
  • neural network
  • information retrieval
  • bayesian networks
  • information technology
  • formal analysis
  • adaptive resonance theory