On Interpolation and Automatization for Frege Systems.

Maria Luisa Bonet Toniann Pitassi Ran Raz

Published in: SIAM J. Comput. (2000)

Keyphrases

management system
computer systems
knowledge based systems
real time
retrieval systems
data sets
neural network
data mining
computer vision
three dimensional
search algorithm
natural language
user interface
distributed systems
complex systems