Wolfgang Wernecke

According to our database1, Wolfgang Wernecke authored at least 7 papers between 1988 and 1994.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1994
Bausteinverwaltung und Suchunterstützung - Basis für Software-Wiederverwendung.
HMD - Praxis Wirtschaftsinform., 1994

1992
THOR - A System for Computing in Equational Theories
IWBS Report, 1992

Tableau Calculus and Equational Reasoning (Extended Abstract).
Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

1990
Tableau Calculus for Order Sorted Logic
IWBS Report, 1990

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

1989
Tableau Calculus for Order Sorted Logic.
Proceedings of the Sorts and Types in Artificial Intelligence, 1989

1988
Keystone: Ein wissensbasiertes System mit natürlichsprachlicher Dialogkomponente.
Inform., Forsch. Entwickl., 1988


  Loading...