 | 1994 |
|---|
| 7 |       | Bernhard Convent,
Wolfgang Wernecke:
Bausteinverwaltung und Suchunterstützung - Basis für Software-Wiederverwendung.
HMD - Praxis Wirtschaftsinform. 180: (1994) |
| 1992 |
|---|
| 6 |  | Wolfgang Wernecke:
Tableau Calculus and Equational Reasoning (Extended Abstract).
TABLEAUX 1992: 82-84 |
| 5 | | Wolfgang Wernecke:
THOR - A System for Computing in Equational Theories
IWBS Report 226: (1992) |
| 1990 |
|---|
| 4 | | Peter H. Schmitt,
Wolfgang Wernecke:
Tableau Calculus for Order Sorted Logic
IWBS Report 108: (1990) |
| 3 | | Ulrich Furbach,
Ulrich Hedtstück,
Wolfgang Wernecke:
Bericht über das 6. Jahrestreffen der GI-Fachgruppe ``Deduktionssysteme''.
KI 4(2): 21-23 (1990) |
| 1989 |
|---|
| 2 | | Peter H. Schmitt,
Wolfgang Wernecke:
Tableau Calculus for Order Sorted Logic.
Sorts and Types in Artificial Intelligence 1989: 49-60 |
| 1988 |
|---|
| 1 | | Wolfgang Wernecke,
Eberhard Horlacher,
Michael Stauss,
Ayse Erben,
Thomas Fehrle:
Keystone: Ein wissensbasiertes System mit natürlichsprachlicher Dialogkomponente.
Inform., Forsch. Entwickl. 3(4): 153-163 (1988) |
