Informatikberichte 1996

Marion Schulz; Hermann Helbig

COLEX - ein Computerlexikon für die automatische Sprachverarbeitung

Hagen: FernUniversität, Praktische Informatik VII, 1996. - 69 S. : graph. Darst.

(Informatik-Bericht Nummer: 210)

PDF-Version


Heinemann, Bernhard:

'Topological' aspects of knowledge and nexttime

Hagen: FernUniversität, Theoretische Informatik I, 1996. - 34 S.

(Informatik-Bericht Nummer: 209)


Hertling, Peter:

Unstetigkeitsgrade von Funktionen in der effektiven Analysis

Hagen: FernUniversität, Theoretische Informatik I, 1996. - 157 S. : graph. Darst.

Zugl.: Hagen, FernUniversität, Diss., 1996

(Informatik-Bericht Nummer: 208)


Wilkes, Wolfgang:

The role relationship model : supporting the generic definition of relationships

Hagen: FernUniversität, Praktische Informatik I, 1996. - 20 Bl. : graph. Darst.

(Informatik-Bericht Nummer: 207)


Kern-Isberner, Gabriele:

Characterizing the principle of minimum cross entropy within a conditional logical framework

Hagen: FernUniversität, Praktische Informatik VIII, 1996. - 43 S.

(Informatik-Bericht Nummer: 206)


Anne Brüggemann-Klein; Rolf Klein; Stefan Wohlfeil:

Pagination reconsidered

Hagen: FernUniversität, Praktische Informatik VI, 1996. - 15 Bl. : graph. Darst.

(Informatik-Bericht Nummer: 205)

PDF Version


Buhrmann, Peter; S. Mittrach; G.Schlageter:

Virtuelle Universität : eine neue Generation netzbasierter Bildungssysteme; technische Architektur

Hagen: FernUniversität, Praktische Informatik I, 1996. - 21 Bl. : Ill., graph. Darst.

(Informatik-Bericht Nummer: 204)


Kern-Isberner, Gabriele:

Conditional logics and entropy

Hagen: FernUniversität, Praktische Informatik VIII, 1996. - 23 S.

(Informatik-Bericht Nummer: 203)


Heinemann, Bernhard:

On the complexity of prefix formulas in modal logic of subset spaces

Hagen: FernUniversität, Theoretische Informatik I, 1996. - 28 S.

(Informatik-Bericht Nummer: 202)


Heinemann, Bernhard:

A Modal Logic for Cantorian Subspaces

Hagen: FernUniversität, Theoretische Informatik I, 1996. - 20 S.

(Informatik-Bericht Nummer: 201)


Meyer, Gregor:

Type checking and type inferencing for logic programs with subtypes and parametric polymorphism

Hagen: FernUniversität, Praktische Informatik VIII, 1996. - 32 S.

(Informatik-Bericht Nummer: 200)


Meyer, Gregor:

On the use of types in logic programming

Hagen: FernUniversität, Praktische Informatik VIII, 1996. - 29 S.:graph. Darst.

(Informatik-Bericht Nummer: 199)


Franz Aurenhammer; Rolf Klein:

Voronoi diagrams

Hagen: FernUniversität, Praktische Informatik VI, 1996. - 92 S.:graph. Darst.

(Informatik-Bericht Nummer: 198)

PDF Version


Hermann Helbig; Marion Schulz:

Knowledge representation with MESNET : a multilayered extended semantic network

Hagen: FernUniversität, Praktische Informatik VII, 1996. - 17 S.:graph. Darst.

(Informatik-Bericht Nummer: 197)


Hermann Helbig; Carsten Gnörlich; Dirk Menke:

Realization of a user friendly access to networked information retrieval systems

Hagen: FernUniversität, Praktische Informatik VII, 1996. - 21 S.:graph. Darst.

(Informatik-Bericht Nummer: 196)


Peter Buhrmann; Silke Mittrach; Gunter Schlageter:

The Fernuniversität as a virtual university: concepts, experiences, developments

Hagen: FernUniversität, Praktische Informatik I, 1996. - 9 Bl. : Ill.

(Informatik-Bericht Nummer: 195)


Schneeweiss, Winfrid G.:

A simple tighter upper bound for the probability of a union of events : with dependability applications

Hagen: FernUniversität, Technische Informatik I, 1996. - 14 Bl.

(Informatik-Bericht Nummer: 194)


Gabriele Becker | 10.05.2024