Login / Signup
A compact representation of proofs.
Dale A. Miller
Published in:
Stud Logica (1987)
Keyphrases
</>
compact representations
computer vision
theorem proving
structured representation
data sets
databases
neural network
computer programs
representation language
database
feature selection
image processing
inference rules
formal proofs