Login / Signup
Complexity of Resolution Proofs and Function Introduction.
Matthias Baaz
Alexander Leitsch
Published in:
Ann. Pure Appl. Log. (1992)
Keyphrases
</>
worst case
theorem proving
space complexity
neural network
computer vision
decision trees
computational complexity
decision problems
complexity analysis
formal proof
data mining
high quality
multi agent
lower bound
theorem prover