Time structures formal description and algorithmic representation von Hajnicz, Elzbieta

Volltext öffnen

Logical description of the present von Hajnicz, Elzbieta

Representing solid intervals by means of point skeletons von Hajnicz, Elzbieta

Intervals in non-linear point time the longer paper von Hajnicz, Elzbieta

Representing mutual locations of intervals being pairs of points in non-linear point time von Hajnicz, Elzbieta

Defining intervals by means of point skeletons generalization of pairs of points von Hajnicz, Elzbieta

Time structures formal description and algorithmic representation von Hajnicz, Elzbieta

Inhaltsverzeichnis

Formalizacja systemu wnioskowania o zaleṅościach czasowych międzu zdarzeniami von Hajnicz, Elzbieta

Reprezentowanie w hierarchii dziedzin informacji zmieniającej się w czasie von Hajnicz, Elzbieta, Pilitowski, Andrzej

Implementacja dat względnych w systemie wnioskowania o zależnościach czasowych między zdarzeniami von Hajnicz, Elzbieta

System wnioskowania o zależnościach czasowych między zdarzeniami koncepcja i implementacja von Hajnicz, Elzbieta