Login / Signup

Some General Results About Proof Normalization.

Marc AiguierDelphine Longuet
Published in: Logica Universalis (2010)
Keyphrases
  • special case
  • closely related
  • neural network
  • machine learning
  • preprocessing
  • medical images
  • theorem proving