A form of feasible interpolation for constant depth Frege systems.

Published in: J. Symb. Log. (2010)

Keyphrases

building blocks
complex systems
neural network
management system
intelligent systems
digital libraries
computing systems
knowledge based systems
computer systems
multi view
learning environment
optimal solution
three dimensional
information systems
computer vision
machine learning
real world