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, Pages 43-44, 1995.

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