Login / Signup

Tentative Experiments with Ellipsis in Mizar.

Artur Kornilowicz
Published in: AISC/MKM/Calculemus (2012)
Keyphrases
  • computer assisted
  • computer aided