Finite methods in 1-order formalisms.

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

Keyphrases

databases
benchmark datasets
real world
significant improvement
neural network
multiscale
reinforcement learning
computational cost
knowledge representation