Publikationen

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

Zeige Ergebnisse 51 bis 58 von 58

Andreas Dengel; N. M. Mattos

Integration of Document Representation, Processing and Management

DFKI, DFKI Research Reports (RR), Vol. 90-03, 3/1990.
Andreas Dengel

A Step Towards Understanding Paper Documents

DFKI, DFKI Research Reports (RR), Vol. 90-08, 6/1990.
Andreas Dengel; N. M. Mattos; B. Mitschang

An Integrated Document Management System

In: Mohan M. Trivedi (Hrsg.). Proceedings SPIE/IEEE - Applications of Artificial Intelligence VIII. IEEE - Applications of Artificial Intelligence, …
Hans-Jürgen Bürckert

A Resolution Principle for Clauses with Constraints

In: M. E. Stickel (Hrsg.). Proceedings of 10th International Conference on Automated Deduction. International Conference on Automated Deduction …
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.
Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

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

DFKI, DFKI Documents (D), Vol. 90-04, 9/1990.
Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

Abschlußbericht des Arbeitspaketes PROD

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

Guiding Induction Proofs

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