Custom Automations in Mizar.

Marco B. Caminati Giuseppe Rosolini

Published in: J. Autom. Reason. (2013)

Keyphrases

domain specific
computer assisted
application specific
databases
general purpose
semantic information
query processing
wordnet