Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Jahr: 1992
Alle Filter entfernen
Zeige Ergebnisse 121 bis 130 von 144

  1. Andreas Dengel

    ANASTASIL: A System for Low-Level and High-Level Geometric Analysis of Printed Documents

    In: H. Baird; H. Bunke; K. Yamamoto (Hrsg.). Structured Document Image Analysis. Pages 70-98, Springer Publ. 1992.

  2. Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.)

    Deduktionssysteme. Automatisierung des logischen Denkens

    Oldenbourg-Verlag, 1992.

  3. 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, …

  4. Dieter Hutter

    Vollständige Induktion

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

  5. 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 …

  6. Dieter Hutter

    Adapting a Resolution Calculus for Inductive Proofs

    Interner Bericht, 1992.

  7. Stephan Oepen; Pierre Sablayrolles

    COSMA Internal Representation Language

    o.A. Technical Notes, 1992.

  8. Stephan Oepen

    Compiling NLL into the COSMA internal representation

    1992.

  9. Günter Neumann; Gertjan van Noord

    Self-Monitoring with Reversible Grammars

    In: ICCL (Hrsg.). Proceedings of the 14th International Conference on Computational Linguistics. International Conference on Computational Linguistics …

  10. David Traum; Elizabeth Hinkelman

    Conversation Acts in Task-Oriented Spoken Dialogue

    In: Computational Intelligence, Vol. 8, No. 3, Pages 579-599, Wiley, 1992.

Jahr