A Brief Overview of Mizar.

Adam Naumowicz Artur Kornilowicz

Published in: TPHOLs (2009)

Keyphrases

computer assisted
data structure
general purpose
database
data mining
metadata
learning objects