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

The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temp
出版社：Dordrecht ; Boston : Kluwer Academic Publishers, 1991.
ISBN：0792310810
出版年：1991
作者：Benthem,J. F. A. K. van,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Model-theoretic logics
  • 作者：Barwise,Jon.
  • 出版社：New York : Springer-Verlag, c1985.
  • 出版年：1985
...

Model-theoretic logics
  • 作者：J. Baldwin
  • ISBN：0387909362
  • 出版社：N.Y. : Springer, c1985.
  • 出版年：1985
...

Mass terms and model-theoretic semantics
  • 作者：Bunt,Harry C.
  • ISBN：052125681X
  • 出版社：Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1985.
  • 出版年：1985
...

Temporal data and the relational model : a detailed investigation into the application of interval a
  • 作者：Date,C. J.
  • ISBN：1558608559
  • 出版社：San Francisco, CA : Morgan Kaufmann, 2003.
  • 出版年：2003
...

Advances in verification of time petri nets and timed automata : a temporal logic approach
  • 作者：Penczek,Wojciech.
  • ISBN：3540328696
  • 出版社：Berlin ; New York : Springer, c2006.
  • 出版年：2006
...

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