A Simple Proof of Parsons' Theorem.

Fernando Ferreira

Published in: Notre Dame J. Formal Log. (2005)

Keyphrases

data mining
reinforcement learning
sufficient conditions
databases
genetic algorithm
web services
multiscale
object recognition
user interface
highly reliable
provably correct
interactive theorem proving