Inductive types and exact completion.

Benno van den Berg

Published in: Ann. Pure Appl. Log. (2005)

Keyphrases

machine learning
inductive learning
neural network
cooperative
artificial neural networks
artificial intelligence
social networks
image processing
clustering algorithm
brute force