-Sperner Families: New Proofs Using Permutations.

Péter L. Erdös Zoltán Füredi Gyula O. H. Katona

Published in: SIAM J. Discret. Math. (2005)

Keyphrases

theorem proving
theorem prover
database
mathematical proofs
probability distribution
formal proofs
image processing
multi agent
object recognition
natural deduction
formal proof