On the structure of Mizar types.

Grzegorz Bancerek

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

machine learning
data mining
data sets
databases
neural network
image sequences
multiscale
expert systems
query processing
computer aided
structural properties
graph structure