Login / Signup
Combining Lists with Non-stably Infinite Theories.
Pascal Fontaine
Silvio Ranise
Calogero G. Zarba
Published in:
LPAR (2004)
Keyphrases
</>
artificial neural networks
neural network
theoretical framework
machine learning
case study
evolutionary algorithm
finite sets