A Short Proof of a Conjecture of DeRemer and Pennello.

Thomas J. Sager

Published in: ACM Trans. Program. Lang. Syst. (1986)

Keyphrases

decision making
theorem prover
mathematical proofs
learning algorithm
multiscale
learning environment
special case
probabilistic model
theorem proving