Proof Normalization Modulo.

Gilles Dowek Benjamin Werner

Published in: TYPES (1998)

Keyphrases

preprocessing
normalization method
neural network
theorem prover
databases
computer vision
digital libraries
theorem proving
proof planning
genetic algorithm
linear logic
automated theorem proving