Publikation
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.
@inproceedings{pub1573, author = { Hutter, Dieter and Stephan, Werner }, editor = { Ireland, A. }, title = {Deduction in the Verification Support Environment (VSE)}, booktitle = {Proceedings AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice. AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice, Sheffield}, year = {1995}, pages = {43--44}, address = {Sheffield, UK} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023