Publikation

Deduction in the Verification Support Environment (VSE)

Dieter Hutter, Werner Stephan

In: A. Ireland (Hrsg.). Proceedings AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice. AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice Sheffield Seiten 43-44 1995.

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