Publikationen

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

Zeige Ergebnisse 91 bis 100 von 105

Otto Kühn; Volker Becker; Georg Lohse; Philipp Neumann

Integrated Knowledge Utilization and Evolution for the Conservation of Corporate Know-How

DFKI, DFKI Research Reports (RR), Vol. 94-31, 1994.
Gert Smolka

The Definition of Kernel Oz

DFKI, DFKI Research Reports (RR), Vol. 94-23, 1994.
Christian Schulte; Gert Smolka; Jörg Würtz

Encapsulated Search and Constraint Programming in Oz

DFKI, DFKI Research Reports (RR), Vol. 94-20, 1994.
Rainer Hoch

Using IR Techniques for Text Classification in Document Analysis

DFKI, DFKI Research Reports (RR), Vol. 94-19, 1994.
Rolf Backofen; Ralf Treinen

How to Win a Game with Features

DFKI, DFKI Research Reports (RR), Vol. 94-18, 1994.
Georg Struth

Philosophical Logics---A Survey and a Bibliography

DFKI, DFKI Research Reports (RR), Vol. 94-17, 1994.
Gert Smolka

A Foundation for Higher-order Concurrent Constraint Programming

DFKI, DFKI Research Reports (RR), Vol. 94-16, 1994.
Wray Buntine; Hans-Jürgen Bürckert

On Solving Equations and Disequations

In: Journal of the ACM (JACM), Vol. 41, No. 4, Pages 591-629, ACM, 1994.
Hans-Jürgen Bürckert

A Resolution Principle for Constrained Logics

In: Artificial Intelligence (AIJ), Vol. 66, Pages 235-271, Elsevier, 1994.
Dieter Hutter; Jürgen Cleve

A Methodology for Equational Reasoning

In: Jay F. Nunamaker jr.; Ralph H. Sprague jr. (Hrsg.). Proceedings Hawaii International Conference on System Sciences: Information Systems: …