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: 1987
Alle Filter entfernen
Zeige Ergebnisse 11 bis 16 von 16

  1. Andreas Dengel; G. Barth; A. Luhn; B. Ueberreiter

    Ein Ansatz zur Modellierung und Analyse von Dokumenten durch ein Zerschneidungsverfahren für das Layout

    In: M. Paul (Hrsg.). Proceedings 17. GI-Jahrestagung Computerintegrierter Arbeitsplatz im Büro. GI-Fachtagungen, Pages 629-639, Springer, 10/1987.

  2. Andreas Dengel; A. Luhn; B. Ueberreiter

    Model Based Segmentation and Hypothesis Generation for the Recognition of Printed Documents

    In: Proceedings of the SPIE-87: Real-Time Image Processing: Concepts and Technologies. SPIE Conference on Visualization and Data Analysis, November …

  3. Hans-Jürgen Bürckert

    Deduktion als Berechnung

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

  4. Hans-Jürgen Bürckert

    Unifikationstheorie

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

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

    Deduktionssysteme. Automatisierung des logischen Denkens

    Oldenbourg-Verlag, 1987.

  6. 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.

Jahr