A Counterexample to a Conjecture of Scott and Suppes.

William W. Tait

Published in: J. Symb. Log. (1959)

Keyphrases

model checking
special case
machine learning
dynamic programming
mean shift
formal verification