| 1991 | ||
|---|---|---|
| 2 | Hellfried Böttger, Hermann Helbig, Frank Ficker, Frank Zänker: Parallelen zwischen den Komponenten des natürlichsprachlichen Interfaces NLI-AIDOS und den zugrundeliegenden Informationsrecherchesystem. Wissensbasierte Systeme 1991: 207-218 | |
| 1985 | ||
| 1 | Hellfried Böttger: Automatisches Theorembeweisen mit Konfigurationen. Elektronische Informationsverarbeitung und Kybernetik 21(10/11): 523-546 (1985) | |
| 1 | Frank Ficker | [2] |
| 2 | Hermann Helbig | [2] |
| 3 | Frank Zänker | [2] |