On Constructive Cut Admissibility in Deduction Modulo.

Richard Bonichon Olivier Hermant

Published in: TYPES (2006)

Keyphrases

inference rules
theorem proving
database
neural network
image processing
decision trees
image segmentation
knowledge representation
linear programming