Login / Signup
Transparent (Holographic) Proofs.
László Babai
Published in:
STACS (1993)
Keyphrases
</>
data storage
theorem proving
theorem prover
high capacity
formal proofs
formal proof
equational theories
mathematical proofs
database
data structure
decision procedures
natural deduction
computer vision
knowledge base
image processing
multi agent