Login / Signup
ProofML - eine Annotationssprache für natürliche Beweise.
Peter Koepke
Bernhard Schröder
Published in:
LDV Forum (2003)
Keyphrases
</>