Login / Signup
A Dual Version of Reimer's Inequality and a Proof of Rudich's Conjecture.
Jeff Kahn
Michael E. Saks
Clifford D. Smyth
Published in:
Computational Complexity Conference (2000)
Keyphrases
</>
theorem prover
original version
data mining
machine learning
metadata
website
three dimensional
natural language
mobile robot
inference rules
theorem proving