"ProofML - eine Annotationssprache für natürliche Beweise."

Peter Koepke, Bernhard Schröder (2003)

Details and statistics

DOI:

access: closed

type: Journal Article

metadata version: 2020-10-19