A New Proof of the Weak Pigeonhole Principle.

Alexis Maciel Toniann Pitassi Alan R. Woods

Published in: J. Comput. Syst. Sci. (2002)

Keyphrases

theorem prover
theorem proving
social networks
multi agent
data sets
information systems
decision trees
proof search
automated theorem provers