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