Sign in
Mizar in a Nutshell.
Adam Grabowski
Artur Kornilowicz
Adam Naumowicz
Published in:
J. Formaliz. Reason. (2010)
Keyphrases
</>
computer assisted