Robotics Innovation Center

Seite 13 von 14.

1. Markus Ullmann; M. Hauff; Peter Loevenich; Peter Baur; Peter Göhner; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve

   VSE Verification Support Environment. Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien

   In: Proceedings of the 3. GI-Fachtagung Verläßliche Informationssysteme Vis'93. GI-Fachtagungen, 3. May 11-13, München, Germany, DuD-Fachbeiträge, …

2. Markus Ullmann; M. Hauff; Peter Loevenich; Peter Baur; Peter Göhner; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve

   VSE Verification Support Environment

   In: Proceedings Online 93. European Congress Fair for Technical Communication (ONLINE-93), Hamburg, Germany, 1993.

3. Dieter Hutter

   Adapting a Resolution Calculus for Inductive Proofs

   In: Bernd Neumann (Hrsg.). Proceedings of the 10th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence …

4. Dieter Hutter

   Adapting a Resolution Calculus for Inductive Proofs

   Interner Bericht, 1992.

5. Dieter Hutter

   Vollständige Induktion

   In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Oldenbourg Verlag, 1992.

6. Peter Baur; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve

   The Verification Support Environment VSE

   In: H. H. Frey (Hrsg.). Proceedings of the IFAC Symposium. IFAC Symposium on Safety of Computer Control Systems (SAFECOMP-92), October 28-30, Zürich, …

7. Dieter Hutter

   Mustergesteuerte Strategien für das Beweisen von Gleichungen

   PhD-Thesis, University of Karlsruhe, 1991.

8. Dieter Hutter

   Guiding Induction Proofs

   In: M. Stickel (Hrsg.). Proceedings 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10), …

9. Dieter Hutter

   Complete Induction

   In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Ellis Horwood Series in Artificial Intelligence, …

10. Dieter Hutter

    Vollständige Induktion

    In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 153-172, Oldenbourg Verlag, 1987.

• vorherige
• 1
• …
• 12
• 13
• 14