Login / Signup
Presenting and Explaining Mizar.
Josef Urban
Grzegorz Bancerek
Published in:
Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
</>
computer assisted
website
e learning
closely related