Login / Signup
More on the Problem of Finding a Mapping between Clause Representation and Natural Deduction Representation.
Peter B. Andrews
Published in:
J. Autom. Reason. (1991)
Keyphrases
</>
intermediate representation
artificial intelligence
data points
image representation
theorem proving
feature representation
multi valued