Integrating Searching and Authoring in Mizar.

Paul A. Cairns Jeremy Gow

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

Keyphrases

computer assisted
authoring tool
neural network
high level
databases
learning algorithm
information systems
metadata
multiscale
lower bound
evolutionary algorithm
computer aided