Login / Signup
A New Proof of The Rhodes Type II Conjecture.
Karl Auinger
Published in:
Int. J. Algebra Comput. (2004)
Keyphrases
</>
type ii
type i error
neyman pearson
theorem proving
proof planning
data sets
search engine
social networks
feature selection
support vector machine
linear logic