Publications

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

Search narrowed by:

Displaying results 111 to 119 of 119.

David Powers; Lary Reeker (Hrsg.)

Proceedings MLNLO'91 - Machine Learning of Natural Language and Ontology

DFKI, DFKI Documents (D), Vol. 91-09, 1991.
Thomas Krause

Globale Datenflußanalyse und horizontale Compilation der relational-funktionalen Sprache RELFUN

DFKI, DFKI Documents (D), Vol. 91-08, 1991.
Gerd Kamp

Entwurf, vergleichende Bewertung und Integration eines Arbeitsplanerstellungssystems für Drehteile

DFKI, DFKI Documents (D), Vol. 91-06, 1991.
Technical Staff

DFKI Wissenschaftlich-Technischer Jahresbericht 1990

DFKI, DFKI Documents (D), Vol. 91-04, 1991.
Harold Boley; Klaus Elsbernd; Hans-Günther Hein; Thomas Krause

RFM Manual: Compiling RELFUN into the Relational/Functional Machine

DFKI, DFKI Documents (D), Vol. 91-03, 1991.
Jörg P. Müller

Design and Implementation of a Finite Domain Constraint Logic Programming System based on PROLOG with Coroutining

DFKI, DFKI Documents (D), Vol. 91-02, 1991.
Werner Stein; Michael Sintek

Relfun/X - An Experimental Prolog Implementation of Relfun

DFKI, DFKI Documents (D), Vol. 91-01, 1991.
Hans-Jürgen Bürckert

A Resolution Principle for a Logic with Restricted Quantifiers

Lecture Notes in Artificial Intelligence (LNAI), Vol. 568, Springer, 1991.
Dieter Hutter

Mustergesteuerte Strategien für das Beweisen von Gleichungen

PhD-Thesis, University of Karlsruhe, 1991.