• 图书
  • 标签：temporal logic

书籍 — temporal logic

RU
离散数学。形式逻辑系统与语言

离散数学。形式逻辑系统与语言

A

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

算法与理论