Publikationen

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

Aktive Filter:

Zeige Ergebnisse 121 bis 128 von 128

Technical Staff

DFKI Wissenschaftlich-Technischer Jahresbericht 1992

DFKI, DFKI Documents (D), Vol. 93-04, 1993.
Gabriele Schmidt; Frank Peters; Gernod Laufkötter

User Manual of COKAM+

DFKI, DFKI Documents (D), Vol. 93-02, 1993.
Philipp Hanschke; Thom Frühwirth

Terminological Reasoning with Constraint Handling Rules

DFKI, DFKI Documents (D), Vol. 93-01, 1993.
Frank Peters

Unterstützung des Experten bei der Formalisierung von Textwissen INFOCOM - Eine interaktive Formalisierungskomponente

DFKI, DFKI Documents (D), Vol. 93-26, 1993.
Franz Baader; Hans-Jürgen Bürckert; Bernhard Nebel; Werner Nutt; Gert Smolka

On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations

In: Journal of Logic, Language and Information, Vol. 2, No. 1, Pages 1-18, Springer, Netherlands, 3/1993.
Jürgen Cleve; Dieter Hutter

Guiding equational proofs by attribute functions

Interner Bericht, 1993.
Markus Ullmann; M. Hauff; Peter Loevenich; Peter Baur; Peter Göhner; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve

VSE Verification Support Environment. Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien

In: Proceedings of the 3. GI-Fachtagung Verläßliche Informationssysteme Vis'93. GI-Fachtagungen, 3. May 11-13, München, Germany, DuD-Fachbeiträge, …
Markus Ullmann; M. Hauff; Peter Loevenich; Peter Baur; Peter Göhner; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve

VSE Verification Support Environment

In: Proceedings Online 93. European Congress Fair for Technical Communication (ONLINE-93), Hamburg, Germany, 1993.

Jahr

Aktive Filter:

Jahr