Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Zweimal zwei Ontologien für die Semantik?.. LDV Forum, 15 (2): 58-74 (1998)Pro-SGML: Ein Prolog-basiertes System zum Textretrieval.. GLDV-Jahrestagung, page 205-216. Deutscher Universitäts Verlag, (1997)The Naproche Project: Controlled Natural Language Proof Checking of Mathematical Texts., , , , and . CNL (Pre-Proceedings), volume 448 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)Interpreting Plurals in the Naproche CNL., and . CNL, volume 7175 of Lecture Notes in Computer Science, page 43-52. Springer, (2010)Premise Selection in the Naproche System., , , and . IJCAR, volume 6173 of Lecture Notes in Computer Science, page 434-440. Springer, (2010)Fragen der Repräsentativität linguistischer Korpora.. GLDV-Jahrestagung, page 320-351. Georg Olms Verlag, (1993)ProofML - eine Annotationssprache für natürliche Beweise., and . LDV Forum, 18 (1/2): 428-441 (2003)Geisteswissenschaftliche Hypermedia-Anwendungen.. LDV Forum, 14 (2): 68-73 (1997)<JACK: lin> - Linguistische Module für das E-Assessment mit JACK., , and . GSCL, page 170-171. GSCL e.V., (2015)Das CKGROSS-Programmsystem. Ein interaktives Editiermakro zur Umsetzung von in Kleinbuchstaben erfaßten Texten in die orthographische Großschreibung für XEDIT unter VM/CMS., and . LDV Forum, 7 (1/2): 41-54 (1990)