Wolfgang Wernecke

THOR - A System for Computing in Equational Theories

Wolfgang Wernecke, 1992, IWBS Report.

Tableau Calculus and Equational Reasoning (Extended Abstract)

Wolfgang Wernecke, 1992, TABLEAUX.

Tableau Calculus for Order Sorted Logic

Peter H. Schmitt, Wolfgang Wernecke, P. Schmitt, 1990, Sorts and Types in Artificial Intelligence.

Bausteinverwaltung und Suchunterstützung - Basis für Software-Wiederverwendung

Wolfgang Wernecke, Bernhard Convent, 1994, HMD Prax. Wirtsch..

Bericht über das 6. Jahrestreffen der GI-Fachgruppe "Deduktionssysteme"

Ulrich Furbach, Wolfgang Wernecke, Ulrich Hedtstück, 1990, Künstliche Intell..

Keystone: Ein wissensbasiertes System mit natürlichsprachlicher Dialogkomponente

Wolfgang Wernecke, Thomas Fehrle, Ayse Erben, 1988, Inform. Forsch. Entwickl..