Login / Signup
Tableaux, resolution, and complexity of formulas.
Harrie C. M. de Swart
W. M. J. Ophelders
Published in:
Methods Log. Comput. Sci. (1994)
Keyphrases
</>
high resolution
worst case
neural network
information retrieval
search engine
computational complexity
computational cost
memory requirements
higher resolution
mathematical formulas