Zen and the art of formalisation.

Andrea Asperti Jeremy Avigad

Published in: Math. Struct. Comput. Sci. (2011)

Keyphrases

databases
neural network
information retrieval
bayesian networks
information technology
formal analysis
adaptive resonance theory