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

Norms logics and information systems : new studies in deontic logic and computer science
出版社：Amsterdam : IOS Press, c1999.
ISBN：9051994273
出版年：1999
作者：McNamara,P.,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science,
  • 作者：DEON 2004
  • ISBN：3540221115
  • 出版社：Berlin ; New York : Springer, c2004.
  • 出版年：2004
...

Deontic logic in computer science 7th international international workshop on Deontic Logic in Compu
  • 作者：International Workshop on Deontic Logic in Computer Science
  • ISBN：3540221115
  • 出版社：Berlin ; New York : Springer, c2004.
  • 出版年：2004
...

Deontic logic in computer science : 10th International Conference, DEON 2010, Fiesole, Italy, July 7
  • 作者：International Workshop on Deontic Logic in Computer Science
  • ISBN：9783642141829
  • 出版社：Berlin ; New York : Springer-Verlag, c2010.
  • 出版年：2010
...

Deontic logic in computer science : 11th international conference, DEON 2012, Bergen, Norway, July 1
  • 作者：International Conference on Deontic Logic in Computer Science
  • ISBN：9783642315695
  • 出版社：Berlin ; New York : Springer, c2012.
  • 出版年：2012
...

Deontic logic in computer science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg,
  • 作者：International Workshop on Deontic Logic in Computer Science
  • ISBN：3540705244
  • 出版社：Berlin ; New York : Springer-Verlag, c2008.
  • 出版年：2008
...

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