The Essence of Coin Lemmas.

Published in: Electron. Notes Theor. Comput. Sci. (1999)

Keyphrases

theorem prover
machine learning
credit card
theorem proving
databases
computational complexity
expert systems
high dimensional
search space
software engineering