Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1992
Alle Filter entfernen
Zeige Ergebnisse 141 bis 144 von 144.

  1. 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, Switzerland, Pages 69-74, IFAC Symposia Series, Pergamon Press, 1992.

  2. Dieter Hutter

    Vollständige Induktion

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

  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 (ECAI-92), August 3-7, Wien, Austria, Pages 65-69, ISBN 0-471-93608-1, John Wiley & Sons, Inc. New York, 1992.

  4. Dieter Hutter

    Adapting a Resolution Calculus for Inductive Proofs

    Interner Bericht, 1992.

Jahr