Wolfgang Wernecke

Publication Activity (10 Years)

Years Active: 1988-1994
Publications (10 Years): 0

Publications

Bernhard Convent, Wolfgang Wernecke
Bausteinverwaltung und Suchunterstützung - Basis für Software-Wiederverwendung. HMD Prax. Wirtsch. 180 (1994)
Wolfgang Wernecke
THOR - A System for Computing in Equational Theories IWBS Report 226 (1992)
Wolfgang Wernecke
Tableau Calculus and Equational Reasoning (Extended Abstract). TABLEAUX (1992)
Peter H. Schmitt, Wolfgang Wernecke
Tableau Calculus for Order Sorted Logic IWBS Report 108 (1990)
Ulrich Furbach, Ulrich Hedtstück, Wolfgang Wernecke
Bericht über das 6. Jahrestreffen der GI-Fachgruppe "Deduktionssysteme". Künstliche Intell. 4 (2) (1990)
Peter H. Schmitt, Wolfgang Wernecke
Tableau Calculus for Order Sorted Logic. Sorts and Types in Artificial Intelligence (1989)
Wolfgang Wernecke, Eberhard Horlacher, Michael Stauss, Ayse Erben, Thomas Fehrle
Keystone: Ein wissensbasiertes System mit natürlichsprachlicher Dialogkomponente. Inform. Forsch. Entwickl. 3 (4) (1988)