Church's thesis and the ideal of informal rigour.

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

Keyphrases

computer vision
machine learning
comprehensive set
neural network
genetic algorithm
three dimensional
pattern recognition