Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 1990
Remove all filters
Displaying results 51 to 58 of 58.

  1. Andreas Dengel

    A Step Towards Understanding Paper Documents

    DFKI, DFKI Research Reports (RR), Vol. 90-08, 6/1990.

  2. Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

    Formalismus zur Repräsentation von Geometrie- und Technologieinformationen als Teil eines Wissensbasierten Produktmodells

    DFKI, DFKI Documents (D), Vol. 90-05, 12/1990.

  3. Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

    STEP: Überblick über eine zukünftige Schnittstelle zum Produktdatenaustausch

    DFKI, DFKI Documents (D), Vol. 90-04, 9/1990.

  4. Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

    Abschlußbericht des Arbeitspaketes PROD

    DFKI, DFKI Documents (D), Vol. 90-03, 9/1990.

  5. Andreas Becker

    The Window Tool Kit

    DFKI, DFKI Documents (D), Vol. 90-06, 1990.

  6. Georg Seul

    Logisches Programmieren mit Feature - Typen

    DFKI, DFKI Documents (D), Vol. 90-02, 1990.

  7. Technical Staff

    DFKI Wissenschaftlich-Technischer Jahresbericht 1989

    DFKI, DFKI Documents (D), Vol. 90-01, 1990.

  8. Dieter Hutter

    Guiding Induction Proofs

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

Year