A New Proof of Foster's First Theorem.

Jingyuan Zhang Weigen Yan

Published in: Am. Math. Mon. (2020)

Keyphrases

interactive theorem proving
theorem prover
learning algorithm
theorem proving
von neumann
proof planning
databases
e learning
decision trees
case study
multi agent
linear logic
mathematical proofs