Inductively generated formal topologies.

Thierry Coquand Giovanni Sambin Jan M. Smith Silvio Valentini

Published in: Ann. Pure Appl. Log. (2003)

Keyphrases

automatically generated
databases
formal model
automatically generating
neural network
bayesian networks
training set
artificial neural networks
evolutionary algorithm
randomly selected
human generated