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

Temporal logics and their applications
出版社：London ; San Diego : Academic Press, 1987.
ISBN：0122740602
出版年：1987
作者：Galton,Antony.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Logics for emerging applications of databases
  • 作者：Chomicki,Jan.
  • ISBN：9783642622489
  • 出版社：Berlin ; New York : Springer, c2004.
  • 出版年：2004
...

Temporal logics in computer science : finite-state systems
  • 作者：Demri,Stéphane P.,
  • ISBN：9781107028364
  • 出版社：Cambridge : Cambridge University Press, 2016.
  • 出版年：2016
...

Constraints in computational logics : theory and applications
  • 作者：Comon,Hubert.
  • ISBN：3540419500
  • 出版社：Berlin ; New York : Springer, 2001.
  • 出版年：2001
...

Many-dimensional modal logics : theory and applications
  • 作者：Gabbay,Dov M.,
  • ISBN：0444508260
  • 出版社：Amsterdam ; Boston : Elsevier North Holland, 2003.
  • 出版年：2003
...

Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980
  • 作者：Symposium on Logics of Programs and their Applications
  • ISBN：0387119817
  • 出版社：Berlin ; New York : Springer-Verlag, 1983.
  • 出版年：1983
...

Constraints in computational logics : theory and applications : International Summer School, CCL''99,
  • 作者：CCL''99
  • ISBN：3540419500
  • 出版社：Berlin ; New York : Springer, 2001.
  • 出版年：2001