Login / Signup
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