bn:00584878n
Noun Concept
AR
No term available
EN
Interval temporal logic is a temporal logic for representing both propositional and first-order logical reasoning about periods of time that is capable of handling both sequential and parallel composition. Wikipedia
Relations
Sources