Mizar Set Comprehension in Isabelle Framework.

Published in: FedCSIS (Communication Papers) (2018)

Keyphrases

small number
main contribution
information systems
database
search engine
feature selection
clustering algorithm
computer aided
computer assisted