Wolfgang Wernecke

According to our database, Wolfgang Wernecke authored at least 6 papers between 1988 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1994

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

Bernhard Convent, Wolfgang Wernecke

HMD Prax. Wirtsch., 1994

1992

THOR - A System for Computing in Equational Theories

Wolfgang Wernecke

IWBS Report, 1992

Tableau Calculus and Equational Reasoning (Extended Abstract).

Wolfgang Wernecke

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

1990

Tableau Calculus for Order Sorted Logic

Peter H. Schmitt, Wolfgang Wernecke

IWBS Report, 1990

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

Ulrich Furbach, Ulrich Hedtstück, Wolfgang Wernecke

Künstliche Intell., 1990

1988

Keystone: Ein wissensbasiertes System mit natürlichsprachlicher Dialogkomponente.

Wolfgang Wernecke, Eberhard Horlacher, Michael Stauss, Ayse Erben, Thomas Fehrle

Inform. Forsch. Entwickl., 1988