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)
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)
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)
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)
