Arithmetic Algorithms in a Proof-Oriented Set-Theoretic Language.

Thomas G. Windeknecht

Published in: ACM Conference on Computer Science (1989)

Keyphrases

set theoretic
data mining techniques
machine learning
learning algorithm
image classification
information processing
image reconstruction