A Direct Proof of a Theorem concerning Treed Overrings.

Published in: Int. J. Math. Math. Sci. (2015)

Keyphrases

interactive theorem proving
e learning
multiscale
artificial neural networks
multiresolution
von neumann
databases
image processing
case study
optimal solution
theorem proving
linear logic
natural deduction
proof planning
intuitionistic logic