2 kontakty: Logika CTL*, Logika temporalna.
Logika CTL*
Logika CTL* – jedna z logik temporalnych.
Nowy!!: Logika CTL i Logika CTL* · Zobacz więcej »
Logika temporalna
Logika temporalna – logika umożliwiająca rozważanie zależności czasowych bez wprowadzania czasu explicite.