A Bounded Arithmetic AID for Frege Systems.

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

Keyphrases

real time
information systems
neural network
real world
machine learning
website
objective function
evolutionary algorithm
multiresolution
complex systems