ProofML – eine Annotationssprache für natürliche Beweise

Authors

  • Bernhard Schröder
  • Peter Koepke

DOI:

https://doi.org/10.21248/jlcl.18.2003.48

Downloads

Published

2003-07-01

How to Cite

Schröder, B., & Koepke, P. (2003). ProofML – eine Annotationssprache für natürliche Beweise. Journal for Language Technology and Computational Linguistics, 18(1), 428–441. https://doi.org/10.21248/jlcl.18.2003.48

Issue

Vol. 18 No. 1 (2003): Tagungsbericht der GLDV-Tagung 2003 in Köthen

Section

III Korpuslinguistik – Texttechnologie

License

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.