Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1987
Remove all filters
Displaying results 11 to 16 of 16.

  1. 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 17, Cannes, France, Pages 89-100, Vol. 860, 11/1987.

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

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

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

    Deduktionssysteme. Automatisierung des logischen Denkens

    Oldenbourg-Verlag, 1987.

  5. Gregor Erbach

    Maschinelle Syntaxanalyse des Deutschen, Englischen und Französischen auf Grundlage verschiedener Grammatikformalismen

    Mastersthesis, Johannes-Gutenberg Universität, 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.

Year