Publikationen

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

Aktive Filter:

Zeige Ergebnisse 81 bis 90 von 105

Gert Smolka

A Calculus for Higher-Order Concurrent Constraint Programming with Deep Guards

DFKI, DFKI Research Reports (RR), Vol. 94-03, 1994.
Elisabeth Andre; Thomas Rist

Von Textgeneratoren zu Intellimedia-Präsentationssystemen

DFKI, DFKI Research Reports (RR), Vol. 94-02, 1994.
Elisabeth Andre; Thomas Rist

Multimedia Presentations: The Support of Passive and Active Viewing

DFKI, DFKI Research Reports (RR), Vol. 94-01, 1994.
Knut Hinkelmann

A Consequence Finding Approach for Feature Recognition in CAPP

DFKI, DFKI Research Reports (RR), Vol. 94-11, 1994.
Knut Hinkelmann; Helge Hintze

Computing Cost Estimates for Proof Strategies

DFKI, DFKI Research Reports (RR), Vol. 94-10, 1994.
Otto Kühn; Björn Höfling

Conserving Corporate Knowledge for Crankshaft Design

DFKI, DFKI Research Reports (RR), Vol. 94-08, 1994.
Arthur Sehn; Serge Autexier (Hrsg.)

Proceedings des Studentenprogramms der 18. Deutschen Jahrestagung für Künstliche Intelligenz KI-94

DFKI, DFKI Documents (D), Vol. 94-12, 1994.
Franz Baader; Martin Buchheit; M.A. Jeusfeld; Werner Nutt (Hrsg.)

Working Notes of the KI'94 Workshop: KRDB'94 - Reasoning about Structured Objects: Knowledge Representation Meets Databases

DFKI, DFKI Documents (D), Vol. 94-11, 1994.
Franz Baader; M. Lenzerini; Werner Nutt; P.F. Patel-Schneider (Hrsg.)

Working Notes of the 1994 International Workshop on Description Logics

This collection of papers forms the permanent record of the 1994 International Workshop on Description Logics, that was held at the Gustav Stresemann …
Technical Staff

DFKI Wissenschaftlich-Technischer Jahresbericht 1993

DFKI, DFKI Documents (D), Vol. 94-09, 1994.

Jahr

Aktive Filter:

Jahr