Publikation

Using Semantic Knowledge by Annotating Formulas

Dieter Hutter

In: D. Basin , D. Gabbay (Hrsg.). Proceedings 1st Workshop on Labelled Deduction. Workshop on Labelled Deduction Freiburg 1998.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence