Sign in
Bounded Proofs and Step Frames.
Nick Bezhanishvili
Silvio Ghilardi
Published in:
TABLEAUX (2013)
Keyphrases
</>
databases
neural network
post processing
equational theories
data sets
data mining
information retrieval
computer vision
information systems
case study
optimal solution
moving objects
theorem prover
theorem proving
asymptotically optimal