Matita Tutorial.

Andrea Asperti Wilmer Ricciotti Claudio Sacerdoti Coen

Published in: J. Formaliz. Reason. (2014)

Keyphrases

data streams
database
data sets
artificial intelligence
image processing
preprocessing
training set
medical images
topics covered