|
Search the dblp DataBase
Wolfgang Wernecke:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Peter H. Schmitt, Wolfgang Wernecke
Tableau Calculus for Order Sorted Logic. [Citation Graph (0, 0)][DBLP] Sorts and Types in Artificial Intelligence, 1989, pp:49-60 [Conf]
- Wolfgang Wernecke
Tableau Calculus and Equational Reasoning (Extended Abstract). [Citation Graph (0, 0)][DBLP] TABLEAUX, 1992, pp:82-84 [Conf]
- Bernhard Convent, Wolfgang Wernecke
Bausteinverwaltung und Suchunterstützung - Basis für Software-Wiederverwendung. [Citation Graph (0, 0)][DBLP] HMD - Praxis Wirtschaftsinform., 1994, v:180, n:, pp:- [Journal]
- Wolfgang Wernecke, Eberhard Horlacher, Michael Stauss, Ayse Erben, Thomas Fehrle
Keystone: Ein wissensbasiertes System mit natürlichsprachlicher Dialogkomponente. [Citation Graph (0, 0)][DBLP] Inform., Forsch. Entwickl., 1988, v:3, n:4, pp:153-163 [Journal]
- Ulrich Furbach, Ulrich Hedtstück, Wolfgang Wernecke
Bericht über das 6. Jahrestreffen der GI-Fachgruppe ``Deduktionssysteme''. [Citation Graph (0, 0)][DBLP] KI, 1990, v:4, n:2, pp:21-23 [Journal]
Search in 0.001secs, Finished in 0.001secs
|