Login / Signup

Propositional Representation of Arithmetic Proofs (Preliminary Version)

Martin Dowd
Published in: STOC (1978)
Keyphrases
  • preliminary version
  • real time
  • multi valued
  • learning algorithm
  • multiscale
  • natural language
  • feature representation
  • knowledge compilation