A short proof of a theorem of Bang and Koolen.

Ali Mohammadian Behruz Tayfeh-Rezaie

Published in: Eur. J. Comb. (2010)

Keyphrases

interactive theorem proving
neural network
image segmentation
knowledge base
database systems
theorem proving
special case
theorem prover
linear logic
proof search