The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bernhard Schröder: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bernhard Schröder
    Fragen der Repräsentativität linguistischer Korpora. [Citation Graph (0, 0)][DBLP]
    GLDV-Jahrestagung, 1993, pp:320-351 [Conf]
  2. Bernhard Schröder
    Pro-SGML: Ein Prolog-basiertes System zum Textretrieval. [Citation Graph (0, 0)][DBLP]
    GLDV-Jahrestagung, 1997, pp:205-216 [Conf]
  3. Peter Koepke, Bernhard Schröder
    ProofML - eine Annotationssprache für natürliche Beweise. [Citation Graph (0, 0)][DBLP]
    LDV Forum, 2003, v:18, n:1/2, pp:428-441 [Journal]
  4. Sabine Hammerstein, Bernhard Schröder
    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. [Citation Graph (0, 0)][DBLP]
    LDV Forum, 1990, v:7, n:1/2, pp:41-54 [Journal]
  5. Bernhard Schröder
    Geisteswissenschaftliche Hypermedia-Anwendungen. [Citation Graph (0, 0)][DBLP]
    LDV Forum, 1997, v:14, n:2, pp:68-73 [Journal]
  6. Bernhard Schröder
    Zweimal zwei Ontologien für die Semantik?. [Citation Graph (0, 0)][DBLP]
    LDV Forum, 1998, v:15, n:2, pp:58-74 [Journal]

  7. Premise Selection in the Naproche System. [Citation Graph (, )][DBLP]


  8. The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002