登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

A Combination of Interval Logic and Linear Temporal Logic
出版社：中国科学院
出版年：1997
作者：Qiu Zongyan
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Temporal logic and temporal logic programming
  • 作者：Duan,Zhenhua.
  • ISBN：7030166515
  • 出版社：Beijing : Science Press, 2005.
  • 出版年：2005
...

A Unified Linear-time Temporal Logic Solution to the Steam-boiler Control Specification Problem
  • 作者：闫安
  • 出版社：中国科学院
  • 出版年：1997
...

Executing temporal logic programs
  • 作者：Moszkowski,B. C.
  • ISBN：0521310997
  • 出版社：Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1986.
  • 出版年：1986
...

Temporal logic of programs
  • 作者：Kröger,Fred,
  • ISBN：0387170308
  • 出版社：Berlin ; New York : Springer-Verlag, c1987.
  • 出版年：1987
...

An Adequate First Order Interval Logic
  • 作者：Zhou Chaochen
  • 出版社：中国科学院
  • 出版年：1997
...

Interval neutrosophic sets and logic : theory and applications in computing
  • 作者：Wang,Haibin.
  • ISBN：1931233942
  • 出版社：Arizona : Hexis, 2005.
  • 出版年：2005