Login / Signup
Some General Results About Proof Normalization.
Marc Aiguier
Delphine Longuet
Published in:
Logica Universalis (2010)
Keyphrases
</>
special case
closely related
neural network
machine learning
preprocessing
medical images
theorem proving