Login / Signup
Another Proof of Using Double Integrals.
Daniele Ritelli
Published in:
Am. Math. Mon. (2013)
Keyphrases
</>
theorem prover
data sets
data mining
objective function
special case
probabilistic model
linear logic
neural network
image processing
decision trees
multi agent systems
relational databases
theorem proving