Proof of a conjecture of Burr, Grünbaum, and Sloane.

Jacob E. Goodman

Published in: Discret. Math. (1980)

Keyphrases

theorem proving
linear logic
databases
machine learning
case study
theorem prover
genetic algorithm
computer vision
image segmentation
wireless sensor networks
inference rules
proof planning