A Note on the Proof of Niho's Conjecture.

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

Keyphrases

theorem prover
theorem proving
proof planning
neural network
object recognition
linear logic
natural deduction
decision making
data streams
expert systems
artificial neural networks
onset detection