• Books
  • Tag: temporal logic

Books — temporal logic

RU
Discrete Mathematics. Formal Logical Systems and Languages

Discrete Mathematics. Formal Logical Systems and Languages

A

С. М. Авдошин, А. А. Набебин

Algorithms and theory