Improving Mizar Texts with Properties and Requirements.

Adam Naumowicz Czeslaw Bylinski

Published in: MKM (2004)

Keyphrases

desirable properties
computer assisted
learning environment
natural language
neural network
software engineering
computer aided
structural properties