A Proof of Jean De Rumeur's Conjecture.

Stephane Perennes

Published in: Discret. Appl. Math. (1997)

Keyphrases

theorem proving
linear logic
proof planning
data sets
mathematical proofs
database
artificial intelligence
image processing
search algorithm
preprocessing
theorem prover